Normal view
MARC view
Contemporary mathematical logic. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)3323: Poizat, B. 1447, Course in model theory: , 2000.