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