Поиск :
Личный кабинет :
Электронный каталог: Справочник серий издательств
К списку серий
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Нет экз.
Математическая логика и основания математики
Издательства: Наука, МоскваСвязанные описания:
Нет экз.
Электронный ресурс
Драгалин, А. Г.
Математический интуиционизм. Введение в теорию доказательств
Наука, 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 отсутствует
Нет экз.
Нет экз.
Нет экз.
Электронный ресурс
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Робинсон, А.
Введение в теорию моделей и метаматематику алгебры
Introduction to Model Theory and to the Metamathematics of Algebra
Наука, 1967 г.
ISBN отсутствует
Робинсон, А.
Введение в теорию моделей и метаматематику алгебры
Introduction to Model Theory and to the Metamathematics of Algebra
Наука, 1967 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Шенфилд, Д.
Математическая логика
Mathematical logic
Наука, 1975 г.
ISBN отсутствует
Шенфилд, Д.
Математическая логика
Mathematical logic
Наука, 1975 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Шенфилд, Д.
Степени неразрешимости
Degrees of unsolvability
Наука, 1977 г.
ISBN отсутствует
Шенфилд, Д.
Степени неразрешимости
Degrees of unsolvability
Наука, 1977 г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Трахтенброт, Б. А.
Конечные автоматы (поведение и синтез)
Наука, 1970 г.
ISBN отсутствует
Трахтенброт, Б. А.
Конечные автоматы (поведение и синтез)
Наука, 1970 г.
ISBN отсутствует