A course in mathematical logic for mathematicians - Manin, Yuri Ivanovic 1937-2023 (Graduate texts in mathematics / editorial board S. Axler, K.A. Ribet, 2010)