Manin, Yu. I. A course in mathematical logic. Translated from the Russian by Neal Koblitz. (English) Zbl 0383.03002 Graduate Texts in Mathematics. 53. New York - Berlin-Heidelberg: Springer-Verlag. XIII, 286 p. (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 30 Documents MSC: 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03B10 Classical first-order logic 03G12 Quantum logic 03F99 Proof theory and constructive mathematics 03D20 Recursive functions and relations, subrecursive hierarchies 03D80 Applications of computability and recursion theory 03E50 Continuum hypothesis and Martin’s axiom 11U99 Connections of number theory and logic 20A15 Applications of logic to group theory PDF BibTeX XML