Normal view
MARC view
Logic, Symbolic and mathematical (Topical Term)
Machine generated authority record
Work cat.: (OSt)259723: Badesa, Calixto. 262790, The birth of model theory, c2004.