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