zbMATH — the first resource for mathematics

A mathematical introduction to logic. (English) Zbl 0298.02002
New York - London: Academic Press. XIII, 295 p. $ 12.50 (1972).

03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B25 Decidability of theories and sets of sentences
03B05 Classical propositional logic
03B10 Classical first-order logic
03B15 Higher-order logic; type theory (MSC2010)