Manin, Y. I. (2010). A course in mathematical logic for mathematicians (2. ed.). New York [et. al.]: Springer.