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

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

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

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

Поиск книг, содержащих: Семантическое следование

Книга	Страницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления	189, 216
Фейс Р. — Модальная логика	228
Линдон Р. — Заметки по логике	8, 11, 33—35, 53
Виноградов И.М. — Математическая энциклопедия. Предметный указатель	IV—696
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления	187, 212
Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга	98, 192

О проекте