Поиск :
Личный кабинет :
Электронный каталог: Справочник серий издательств
К списку серий
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 5
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Математическая логика и основания математики
Издательства: Наука, М.Связанные описания:
![](http://lib.jinr.ru:8080/opacUnicode/app/webroot/img//progress.gif)
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 г.
ISBN отсутствует
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
5 из 5
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
Книга
Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Давид
Основания математики: Логич.исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
![](/opacUnicode/app/webroot/img/doctypes/1.gif)
Экз. чит. зала