Enderton, Herbert B. A mathematical introduction to logic. (English) Zbl 0298.02002 New York - London: Academic Press. XIII, 295 p. $ 12.50 (1972). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 259 Documents MSC: 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) PDFBibTeX XML