Title: A shorter model theory
First published: 1997
Subjects: Model theory
LC classification: QA9.7 .H65 1997