A Course in Mathematical Logic for Mathematiciansby Yu. I. Manin, Neal Koblitz, B. ZilberWriting a summary for young readers…For young readersBook data: Open Library