Поиск :
Личный кабинет :
Электронный каталог: Справочник серий издательств
К списку серий
Доступно
1 из 1
Экз. чит. зала
Экз. чит. зала
Доступно
7 из 9
Экз. чит. зала
Экз. чит. зала
Доступно
8 из 8
Экз. чит. зала
Экз. чит. зала
Доступно
6 из 6
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
5 из 5
Доступно
3 из 4
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Доступно
3 из 3
Доступно
2 из 3
Экз. чит. зала
Доступно
2 из 3
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Математическая логика и основания математики
Издательства: НаукаСвязанные описания:
Доступно
1 из 1
Заказать 
На полку Экз. чит. зала
Экз. чит. зала
Доступно
7 из 9
Экз. чит. зала
Экз. чит. зала
Книга
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 г.
ISBN отсутствует
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 г.
ISBN отсутствует
Доступно
8 из 8
Экз. чит. зала
Книга
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, Петр Сергеевич
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Экз. чит. зала
Книга
Успенский, Владимир Андреевич
Лекции о вычислимых функциях
Гос. изд-во физ.-мат. лит., 1960 г.
ISBN отсутствует
Успенский, Владимир Андреевич
Лекции о вычислимых функциях
Гос. изд-во физ.-мат. лит., 1960 г.
ISBN отсутствует
Доступно
6 из 6
Книга
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Книга
Гильберт, Давид
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Давид
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Экз. чит. зала
Доступно
5 из 5
Доступно
3 из 4
Книга
Ершов, Юрий Леонидович
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
Книга
Кушнер, Борис Анисимович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
Кушнер, Борис Анисимович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Доступно
2 из 3
Книга
Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Экз. чит. зала
Книга
Гильберт, Давид
Основания математики: Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Давид
Основания математики: Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Доступно
2 из 3
Книга
Трахтенброт, Борис Авраамович
Конечные автоматы : (Поведение и синтез)
Наука, 1970 г.
ISBN отсутствует
Трахтенброт, Борис Авраамович
Конечные автоматы : (Поведение и синтез)
Наука, 1970 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
Ершов, Ю. Л.
Проблемы разрешимости и конструктивные модели
Наука, 1980 г.
ISBN отсутствует
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Электронный ресурс
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций
The foundations of intuitionistic mathematics, especially in relation to recursive functions
Наука, 1978 г.
ISBN отсутствует
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций
The foundations of intuitionistic mathematics, especially in relation to recursive functions
Наука, 1978 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN отсутствует