|
|
 |
| Результат поиска |
Поиск книг, содержащих: Лукасевич
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 520, 534 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 226, 235, 236, 279, 448, 486 | | Клини С. — Математическая логика | 64, 65, 402, 458 | | Колмогоров А.Н., Юшкевич А.П. — Математика XIX века (том 1): математическая логика, алгебра, теория чисел, теория вероятностей | 243 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция) | 244 | | Вирт Н. — Алгоритмы + структуры данных = программы | 377 | | Ахо А., Ульман Дж. — Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ) | 244 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 85, 245 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 16, 261 | | Фейс Р. — Модальная логика | 144, 211.253,309.504 | | Чёрч А. — Введение в математическую логику (том 1) | п. 91, п. 177, п. 188, 18.4, § 19, 19.8, § 28, п. 224, § 29, п. 243, п. 255, п. 257, п. 263, п. 265, п. 273, п. 276, п. 278, п. 280, § 49 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 46, 101—103 | | Карри Х.Б. — Основания математической логики | 46, 64, 66, 96, 97,102,128,133, 258, 271, 352, 355, 356, 361, 408, 418, 431, 432, 434, 436, 437 | | Клини С.К. — Введение в метаматематику | 129, 298 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 438 | | Бурбаки Н. — Очерки по истории математики | 20 | | Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 451 | | Клини С.К. — Математическая логика | 64, 65, 402, 458 |
|
|
|
|
О проекте