|
|
 |
| Результат поиска |
Поиск книг, содержащих: Бар-Хиллел
| Книга | Страницы для поиска | | Мендельсон Э. — Введение в математическую логику | 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 |
|
|
|
|
О проекте