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

square Второй курс

square Третий курс

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

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

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

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

Поиск книг, содержащих: Бар-Хиллел



КнигаСтраницы для поиска
Мендельсон Э. — Введение в математическую логику227, 307
Френкель А.А., Бар-Хиллел И. — Основания теории множеств5, 24, 29, 30, 206, 207, 209, 233, 424, 472, 495, 500, 505, 518
Новиков П.С. — Конструктивная математическая логика с точки зрения классической48, 320
Серпинский В. — 250 Задач по элементарной теории чисел8
Клини С. — Математическая логика217, 225, 317, 451, 464
Куратовский К., Мостовский А. — Теория множеств66
Яглом А.М., Яглом И.М. — Вероятность и информация.16, 488
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция)102, 123, 241
Барвайс Д. — Справочная книга по математической логике. Часть 2: теория множеств36, 63
Кушнер Б.А. — Лекции по конструктивному математическому анализу10—12, 427, 438
Медведев Ф.А. — Французская школа теории функций и множеств на рубеже XIX - XX вв.113, 120, 121, 138, 221
Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)102, 123, 241
Карри Х.Б. — Основания математической логики23, 44, 45, 47, 48, 49, 53, 54, 184, 185, 239
Робинсон А. — Введение в теорию моделей и мета-математику алгебры370
Эндрю А. — Искусственный интеллект158
Налимов В.В. — Вероятностная модель языка4, 5, 128, 263, 269
Клини С.К. — Математическая логика217, 225, 317, 451, 464
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте