"Элементы математической логики" - читать интересную книгу автора (Новиков П.С.)