A course in mathematical logic - Manin, Jurij I. 1937-2023 (Springer, 1977)