A course in mathematical logic for mathematicians - Manin, Yuri Ivanovic 1937-2023 (Springer, 2010)