|
|
 |
| Результат поиска |
Поиск книг, содержащих: Схема аксиом
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 26 | | Новиков Ф.А. — Дискретная математика для программистов | 105, 108 | | Мендельсон Э. — Введение в математическую логику | 38 | | Клини С. — Математическая логика | 48, 67, 132, 249 | | Эдельман С.Л. — Математическая логика | 136 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 77 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 305 | | Линдон Р. — Заметки по логике | 65 | | Гладкий А.В. — Математическая логика | 163 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—102 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 169 | | Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 78 | | Борковский А.Б. — Англо-русский словарь по программированию и информатике | 27 | | Клини С.К. — Математическая логика | 48, 67, 132, 249 | | Мендельсон Э. — Введение в математическую логику | 38 | | Столл Р.Р. — Множества. Логика. Аксиоматические теории | 169 |
|
|
|
|
О проекте