|
|
 |
| Результат поиска |
Поиск книг, содержащих: Лоренцен
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 16, 593 | | Мендельсон Э. — Введение в математическую логику | 282, 301 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 36, 122, 188, 189, 193, 194, 195, 196, 197, 217, 248, 268, 270, 274, 279, 280, 305, 311, 332, 388, 409, 447, 518 | | Курош А.Г. — Теория групп | 32, 434 | | Фукс Л. — Частично упорядоченные алгебраические системы | 55, 62, 69, 71, 103, 129, 149, 154 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 433 | | Стройк Д.Я. — Краткий очерк истории математики | 84 | | Копытов В.М., Медведев Н.Я. — Правоупорядоченные группы | 51 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 108, 112 | | Фейс Р. — Модальная логика | 211,504 | | Чёрч А. — Введение в математическую логику (том 1) | п. 526 | | Карри Х.Б. — Основания математической логики | 10, 43, 47, 50, 54, 90, 91, 132, 151, 190, 239, 349, 351, 353, 362 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 362 | | Линдон Р. — Заметки по логике | 17 |
|
|
|
|
О проекте