1 6a5t3cMd GTM 053 - ISBN978-1-4419-0615-1 - Yu. I. Manin

A Course in Mathematical Logic for Mathematicians.