|
|
 |
| Результат поиска |
Поиск книг, содержащих: Кальмар
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 13, 15, 16, 259—261, 454, 552, 593, 598, 599, 604, 622 | | Мендельсон Э. — Введение в математическую логику | 45, 174, 299 | | Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 134, 152, 361, 363, 365, 366, 377, 440, 465, 482 | | Серпинский В. — 250 Задач по элементарной теории чисел | 153 | | Клини С. — Математическая логика | 61, 290, 377, 456 | | Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем | 315, 324 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 11, 84, 158 | | Чёрч А. — Введение в математическую логику (том 1) | § 29, п. 286, п. 288, п. 430, п. 433, п. 445, п. 446, п. 447, п. 448, п. 449, п. 450, § 49, п. 472, п. 526 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 187—188 | | Хадорн Э., Венер В. — Общая зоология | 228—231, 404 | | Мецлер Д. — Биохимия. Химические реакции в живой клетке (том 3) | I: 53 | | Клини С.К. — Введение в метаматематику | 124, 254, 255, 256, 494 | | Браун Г., Уолкен Дж. — Жидкие кристаллы и биологические структуры | см. "Loligo" | | Вилли К. — Биология | 241, 635 | | Клини С.К. — Математическая логика | 61, 290, 377, 456 |
|
|
|
|
О проекте