A course in mathematical logic for mathematicians - Manin, Jurij I. 1937-2023 (Graduate texts in mathematics, 2010)