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).


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