Исчерпывающее решение неодолимой проблемы парадоксов
Язык логики
Математическая теория логического вывода
Наш дом. Справочное пособие по строительству
Элементы математической логики
Рекурсивный математический анализ
