|
|
 |
| Результат поиска |
Поиск книг, содержащих: Генкин
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 238 | | Мендельсон Э. — Введение в математическую логику | 75, 105, 108, 114, 298 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 135, 136, 137, 155, 180, 184, 229, 278, 281, 331, 332, 337, 345, 346, 347, 349, 350, 352, 375, 386, 401, 402, 431, 432, 433, 507, 517 | | Клини С. — Математическая логика | 241, 341, 367, 391—394, 414, 428, 451, 453 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 268, 270 | | Куратовский К., Мостовский А. — Теория множеств | 164 | | Джонстон П.Т. — Теория топосов | 14, 262 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 123, 210, 241 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16 | | Фейс Р. — Модальная логика | 324, 333, 420 | | Карри Х.Б. — Основания математической логики | 47, 132, 452, 456, 504 | | Мартин-Лёф П. — Очерки по конструктивной математике | 888 | | Линдон Р. — Заметки по логике | 64 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 441 | | Клини С.К. — Математическая логика | 241, 341, 367, 391—394, 414, 428, 451, 453 |
|
|
|
|
О проекте