|
|
 |
| Результат поиска |
Поиск книг, содержащих: Россер
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 335, 342, 345, 507 | | Грэхем Р., Кнут Д., Паташник О. — Конкретная математика. Основание информатики | 134, 671 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 5, 8, 29, 30, 37, 40, 69, 93, 106, 108, 112, 114, 136, 137, 144, 154, 155, 180, 181, 183, 236, 247, 254, 345, 347, 365, 366, 368, 372, 388, 392, 393, 397, 398, 442, 457, 462, 463, 490 | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 278 | | Мендельсон Э. — Введение в математическую логику | 10, 11, 39, 49, 50, 85, 96, 161, 163, 164, 227, 295, 305 | | Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 2) Спектральная теория | 1013 | | Шеннон К. — Работы по теории информации и кибернетике | 13 | | Клини С. — Математическая логика | 50, 65, 329, 333, 355, 356, 462 | | Манин Ю.И. — Доказуемое и недоказуемое | 14, 43 | | Клини С., Весли Р. — Основания интуиционистской математики с точки зрения теории рекурсивных функций | 13, 16, 32, 256, 264, 265 | | Чёрч А. — Введение в математическую логику (том 1) | п. 100, §29, п. 351 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 18, 515—517, 532 | | Карри Х.Б. — Основания математической логики | 43, 133, 184, 418, 431, 489503, 530 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 338 | | Космодемьянский А.А. — Курс теоретической механики (часть 2) | 12 | | Линдон Р. — Заметки по логике | 121 | | Болл У., Коксетер Г. — Математические эссе и развлечения | 81, 221, 237 | | Булос Дж., Джеффри Р. — Вычислимость и логика | 371 | | Рибенбойм П. — Последняя теорема Ферма для любителей | 283, 379 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 145, 190 | | Клини С.К. — Введение в метаматематику | 83, 129, 163, 188, 251, 273, 278, 285, 286, 361, 382, 386, 508 | | Сюэ-Сень Д. — Техническая кибернетика | 268 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 440 | | Бурбаки Н. — Очерки по истории математики | 49, 58 | | Хаусхолдер А.С. — Основы численного анализа | 218 | | Клини С.К. — Математическая логика | 50, 65, 329, 333, 355, 356, 462 |
|
|
|
|
О проекте