Поиск книг, содержащих Логика конструктивная :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Логика конструктивная

Книга	Страницы для поиска
Новиков П.С. — Конструктивная математическая логика с точки зрения классической	48
Нечаев В.И. — Числовые системы	44
Гладкий А.В. — Математическая логика	163
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	II-1039
Панов М.И. — Методические проблемы интуиционистской математики	68
Гетманова А.Д. — Учебник по логике	272—275
Асмус В.Ф. — Проблема интуиции в философии и математике	277

О проекте