Поиск книг, содержащих Исчисление предикатов (predicate calculus) :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Исчисление предикатов (predicate calculus)

Книга	Страницы для поиска
Гренандер У. — Лекции по теории образов (Том 3. Регулярные структуры)	249, 344
Карри Х.Б. — Основания математической логики	46, 242
Столл Р.Р. — Множества. Логика. Аксиоматические теории	117
Клини С.К. — Введение в метаматематику	77, 90, 91, 130, 131, 345, 382, 385, 389, 424, 429, 430, 435, 437, 452

О проекте