×

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