1 6a5t3cMd GTM 053 - ISBN978-1-4419-06[..] - Yu. I. Manin
A Course in Mathematical Logic for Mathematicians.