Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
5 из 5
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Минц, Г.Е.
Сортировать по: заглавиюСвязанные описания:
Доступно
1 из 1
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Библиотека : ЦБ
Барендрегт, Хендрик Питер
Ламбда-исчисление: Его синтаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Библиотека : ЦБ
Заказать 
На полку Доступно
2 из 2
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Книга
Ч.4. : Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Библиотека : ЦБ
Ч.4. : Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
Библиотека : ЦБ
Многотомник
Теоретические применения математической логики: Сборник работ
Наука. Ленингр. отд-ние, б.г.
ISBN отсутствует
Теоретические применения математической логики: Сборник работ
Наука. Ленингр. отд-ние, б.г.
ISBN отсутствует
Доступно
1 из 1
Доступно
5 из 5
Книга
Грэй, Питер
Логика, алгебра и базы данных
Машиностроение, 1989 г.
ISBN отсутствует
Библиотека : ЦБ, ЛВЭ
Грэй, Питер
Логика, алгебра и базы данных
Машиностроение, 1989 г.
ISBN отсутствует
Библиотека : ЦБ, ЛВЭ
Доступно
2 из 2
Книга
Дэвенпорт, Джеймс
Интегрирование алгебраических функций
Мир, 1985 г.
ISBN отсутствует
Библиотека : ЦБ
Дэвенпорт, Джеймс
Интегрирование алгебраических функций
Мир, 1985 г.
ISBN отсутствует
Библиотека : ЦБ
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Библиотека : ЦБ
Клини, Стивен Коул
Математическая логика
Mathematical Logic
Эдиториал УРСС, 2005 г.
ISBN 5-354-01011-X
Библиотека : ЦБ
Доступно
2 из 2
Доступно
1 из 1
Книга
Клини, Стивен Коул
Математическая логика
Mathematical Logic
URSS, 2008 г.
ISBN 978-5-382-00626-0
Библиотека : ЦБ
Клини, Стивен Коул
Математическая логика
Mathematical Logic
URSS, 2008 г.
ISBN 978-5-382-00626-0
Библиотека : ЦБ
Доступно
1 из 1
Книга
Мартин-Лёф, Пер
Очерки по конструктивной математики
Мир, 1975 г.
ISBN отсутствует
Библиотека : ЦБ
Мартин-Лёф, Пер
Очерки по конструктивной математики
Мир, 1975 г.
ISBN отсутствует
Библиотека : ЦБ
Доступно
2 из 2
Книга
Крайзель, Г.
Исследования по теории доказательств: Сборник статей
Мир, 1981 г.
ISBN отсутствует
Библиотека : ЦБ
Крайзель, Г.
Исследования по теории доказательств: Сборник статей
Мир, 1981 г.
ISBN отсутствует
Библиотека : ЦБ
Доступно
1 из 1
Книга
Математическая теория логического вывода.Сборник переводов
Наука, 1967 г.
ISBN отсутствует
Библиотека : ЦБ
Математическая теория логического вывода.Сборник переводов
Наука, 1967 г.
ISBN отсутствует
Библиотека : ЦБ