Beginning model theory. The completeness theorem and some consequences. (English) Zbl 0361.02064
Oxford Logic Guides. Oxford: Clarendon Press. VII, 143 p. £4.50 (1977).
MSC:
03C68 | Other classical first-order model theory |
03-01 | Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations |
03B10 | Classical first-order logic |