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