|
|
 |
| Результат поиска |
Поиск книг, содержащих: Контрапозиция
| Книга | Страницы для поиска | | Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 539 | | Верещагин Н.К., Шень А. — Языки и исчисления | 15 | | Мендельсон Э. — Введение в математическую логику | 28 | | Клини С. — Математическая логика | 23, 27, 433 | | Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 393, 394 | | Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java | 124 | | Фейс Р. — Модальная логика | 29 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 117 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 15 | | Клини С.К. — Математическая логика | 23, 27, 433 | | Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 32 | | Мендельсон Э. — Введение в математическую логику | 28 |
|
|
|
|
О проекте