"Methods in Mathematical Logic" - читать интересную книгу автора (Carlos A. Di Prisco)