"Metalogic: An Introduction to the Metatheory of Standard First Order Logic" - читать интересную книгу автора (Geoffrey Hunter)