Новиков П.С.
Конструктивная математическая логика с точки зрения классической
Элементы математической логики
Товары для саморазвития и самопознания