"First Order Mathematical Logic" - читать интересную книгу автора (Angelo Margaris)