Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Терм (term)



КнигаСтраницы для поиска
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем36
Ахо А., Хопкрофт Дж., Ульман Дж. — Построение и анализ вычислительных алгоритмов380
Клоксин У., Меллиш К. — Программирование на языке пролог12, 41, 261
Шенфилд Дж. — Математическая логика31, 318
Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций21
Чёрч А. — Введение в математическую логику (том 1)39.10
Карри Х.Б. — Основания математической логики136, 439, 448
Метакидес Г., Нероуд А. — Принципы логики и логического программирования94
Хоггер К. — Введение в логическое программирование22
Булос Дж., Джеффри Р. — Вычислимость и логика139, 291
Девис М. — Прикладной нестандартный анализ48
Столл Р.Р. — Множества. Логика. Аксиоматические теории109, 178
Клини С.К. — Введение в метаматематику69, 131, 161, 179, 523, 235, 346, 354, 357, 372, 390, 410
Хоггер К. — Введение в логическое программирование22
Бауэр Ф.Л., Гооз Г. — Информатика395, 588
Шенфилд Дж. — Математическая логика31, 318
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте