- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
До переліку серій
Математическая логика и основания математики
Видавництва: НаукаПов’язані описи:
Книга
Драгалин Альберт Григорьевич
Математический интуиционизм: Введение в теорию доказательств
Наука, 1979 р.
ISBN відсутній
Драгалин Альберт Григорьевич
Математический интуиционизм: Введение в теорию доказательств
Наука, 1979 р.
ISBN відсутній
Замовити 
На полицю
Книга
Кушнер Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 р.
ISBN відсутній
Кушнер Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 р.
ISBN відсутній
Книга
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекрусивных функций: Пер. с англ.
Наука, 1978 р.
ISBN відсутній
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекрусивных функций: Пер. с англ.
Наука, 1978 р.
ISBN відсутній
Книга
Гильберт Давид
Основания математики: Логические исчисления и формализация арифметики
Наука, 1979 р.
ISBN відсутній
Гильберт Давид
Основания математики: Логические исчисления и формализация арифметики
Наука, 1979 р.
ISBN відсутній
Книга
Робинсон Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 р.
ISBN відсутній
Робинсон Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 р.
ISBN відсутній
Книга
Трахтенброт, Борис Авраамович
Конечные автоматы (поведение и синтез)
Наука, 1970 р.
ISBN відсутній
Трахтенброт, Борис Авраамович
Конечные автоматы (поведение и синтез)
Наука, 1970 р.
ISBN відсутній
Книга
Гильберт Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1982 р.
ISBN відсутній
Гильберт Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1982 р.
ISBN відсутній
Книга
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 р.
ISBN відсутній
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 р.
ISBN відсутній
Книга
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 р.
ISBN відсутній
Яблонский, Сергей Всеволодович
Функции алгебры логики и классы Поста
Наука, 1966 р.
ISBN відсутній