|
|
 |
| Результат поиска |
Поиск книг, содержащих: Переменная пропозициональная
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 12 | | Верещагин Н.К., Шень А. — Языки и исчисления | 12 | | Новиков Ф.А. — Дискретная математика для программистов | 101, 108 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 22 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 2 | | Малпас Дж. — Реляционный язык Пролог и его применение | 30, 32, 35 | | Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 28 | | Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 78 | | Марков А.А., Нагорный Н.М. — Теория алгорифмов | 44 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—698 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 | | Бочаров В.А., Маркин В.И. — Основы логики | 42, 49 | | Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 12 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 22 |
|
|
|
|
О проекте