|
|
 |
| Результат поиска |
Поиск книг, содержащих: Карнап
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 322, 336, 369, 420 | | Мендельсон Э. — Введение в математическую логику | 39, 300 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 29, 38, 39, 40, 41, 46, 116, 137, 172, 187, 195, 200, 204, 205, 207, 216, 249, 261, 263, 270, 275, 323, 327, 332, 333, 334, 339, 342, 359, 401, 402, 407, 408, 409, 410, 411, 412, 414, 440, 441, 477, 482, 495, 505, 510, 529 | | Клини С. — Математическая логика | 241, 456 | | Яглом А.М., Яглом И.М. — Вероятность и информация. | 16, 488 | | Джеммер М. — Эволюция понятий квантовой механики | 313 | | Фейс Р. — Модальная логика | 23, 209, 245, 246 | | Чёрч А. — Введение в математическую логику (том 1) | п. 5, п. 17, п. 57, п. 70, п. 87, п. 110, п. 116. § 07, п. 131, § 08, п. 139, п. 142, п. 168, 19.10, п. 199, п. 309, п. 458, § 49, п. 519, п. 529, п. 589 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 511 | | Карри Х.Б. — Основания математической логики | 40, 43, 47, 85, 90, 102, 130, 140, 141, 143, 144, 186, 432, 517 | | Робинсон А. — Введение в теорию моделей и мета-математику алгебры | 359 | | Джеммер М. — Понятие массы | 9, 10, 109 | | Клини С.К. — Введение в метаматематику | 47, 62, 78, 224 | | Штокало И.З. (ред.) — История отечественной математики. Том 4. Книга 2 | 440, 441, 540 | | Налимов В.В. — Вероятностная модель языка | 37, 38, 67, 71, 102, 116, 128, 245, 264 | | Клини С.К. — Математическая логика | 241, 456 | | Кольман Э. — Предмет и метод современной математики | 255, 274 |
|
|
|
|
О проекте