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