Title: Basic model theory
First published: 1996
Subjects: Model theory
LC classification: QA9.7 .D64 1996