- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрики
--> Математика
----> основания математики, математическая логика
Друк списку
--> Математика
----> основания математики, математическая логика
Рубрика
- Назва:
- основания математики, математическая логика
Друк списку
Пов’язані описи:
Замовити 
На полицю
Книга
Мельников Геннадий Прокопьевич
Азбука математической логики
ISBN відсутній
Мельников Геннадий Прокопьевич
Азбука математической логики
Серія: Народный ун-т
Знание, 1967 р.ISBN відсутній
Книга
Левин, Виталий Ильич
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 р.
ISBN відсутній
Левин, Виталий Ильич
Бесконечнозначная логика в задачах кибернетики
Радио и связь, 1982 р.
ISBN відсутній
Книга
Колмогоров Андрей Николаевич
Введение в математическую логику: учебное пособие для студ. мат. спец. вузов
Изд-во МГУ, 1982 р.
ISBN відсутній
Колмогоров Андрей Николаевич
Введение в математическую логику: учебное пособие для студ. мат. спец. вузов
Изд-во МГУ, 1982 р.
ISBN відсутній
Книга
Бирюков Борис Владимирович
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи...
ISBN відсутній
Бирюков Борис Владимирович
Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи...
Серія: Наука и прогресс
Знание, 1985 р.ISBN відсутній
Книга
Бирюков Борис Владимирович
Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи ...
ISBN відсутній
Бирюков Борис Владимирович
Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи ...
Серія: Наука и прогресс
Знание, 1977 р.ISBN відсутній
Книга
Избранные вопросы алгебры и логики: сб., посвящ. памяти А. И. Мальцева
Наука, 1973 р.
ISBN відсутній
Избранные вопросы алгебры и логики: сб., посвящ. памяти А. И. Мальцева
Наука, 1973 р.
ISBN відсутній
Книга
Целищев, Виталий Валентинович
Интуиция, финитизм и рекурсивное мышление
ISBN 978-5-98901-026-4
Целищев, Виталий Валентинович
Интуиция, финитизм и рекурсивное мышление
Серія: Новая философия математики
Параллель, 2007 р.ISBN 978-5-98901-026-4
Книга
Зыков Александр Александрович
Логико-философское введение в высшую математику
1997 р.
ISBN відсутній
Зыков Александр Александрович
Логико-философское введение в высшую математику
1997 р.
ISBN відсутній
Книга
Зыков Александр Александрович
Логико-философское введение в высшую математику: Учеб. пособие
[б. и.], 1999 р.
ISBN відсутній
Зыков Александр Александрович
Логико-философское введение в высшую математику: Учеб. пособие
[б. и.], 1999 р.
ISBN відсутній
Книга
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 р.
ISBN відсутній
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 р.
ISBN відсутній
Книга
Гинзбург, Самуил Александрович
Математическая непрерывная логика и изображение функций
ISBN відсутній
Гинзбург, Самуил Александрович
Математическая непрерывная логика и изображение функций
Серія: Б-ка по автоматике
Энергия, 1968 р.ISBN відсутній
Книга
Драгалин Альберт Григорьевич
Математический интуиционизм: Введение в теорию доказательств
Наука, 1979 р.
ISBN відсутній
Драгалин Альберт Григорьевич
Математический интуиционизм: Введение в теорию доказательств
Наука, 1979 р.
ISBN відсутній
Книга
Столл Роберт Р.
Множества. Логика. Аксиоматические теории
ISBN відсутній
Столл Роберт Р.
Множества. Логика. Аксиоматические теории
Серія: Математическое просвещение
Просвещение, 1968 р.ISBN відсутній