"Математическая логика и ее применения" - читать интересную книгу автора (Нагел Э., Саппс П., Тарский А.)