A Course in Mathematical Logic - Manin, Jurij I. 1937-2023 (Graduate Texts in Mathematics, 1977)