Normal view
MARC view
First-order logic (Topical Term)
Machine generated authority record
Work cat.: (OSt)272718: Casanovas, Enrique, 1957- 339945, Simple theories and hyperimaginaries, 2011.