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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Доказательство (proof)

Книга	Страницы для поиска
Чень Ч., Ли Р. — Математическая логика и автоматическое доказательство теорем	13, 78
Шенфилд Дж. — Математическая логика	18
Чёрч А. — Введение в математическую логику (том 1)	§ 07, п. 121, § 10, п. 164
Метакидес Г., Нероуд А. — Принципы логики и логического программирования	42
Линдон Р. — Заметки по логике	55, 66, 92
Столл Р.Р. — Множества. Логика. Аксиоматические теории	169
Оллонгрен А. — Математическое обеспечение ЭВМ. Определение языков программирования интерпретирующими автоматами	22
Шенфилд Дж. — Математическая логика	18

О проекте