"Metalogic: An introduction to the metatheory of standard first order logic" - читать интересную книгу автора (Hunter G.)