A course in mathematical logic - Manin, Jurij I. 1937-2023 (Springer, 1977)
Ab 2. Aufl. u. d. T.: A course in mathematical logic for mathematicians. Ubers. aus dem Russ.
Keywords: Mathematische Logik; Einführung