Manin, Yuri I. Max Planck Institute for Mathematics, Max Planck Society;
Manin, Y. I. (2010). A course in mathematical logic for mathematicians (2. ed.). New York [et. al.]: Springer.