- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
К списку серий
Математическая логика и основания математики
Издательства: НаукаСвязанные описания:
Книга
Драгалин Альберт Григорьевич
Математический интуиционизм: Введение в теорию доказательств
Наука, 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 отсутствует