Электронный каталог

Электронный ресурс (аналит. описание)

Хохлов, Сергей Валерьевич.
Независимость правил вывода в предикатных системах натурального вывода [Электронный ресурс ] / С. В. Хохлов // Некоторые вопросы математики, информатики и методики их преподавания : Сборник научных статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. – Электронные текстовые данные (88Mb). – Москва : Прометей, 2006. – С. 331 - 335. – Режим доступа : http://elib.mpgu.info/elib/view.php?id=5330. – Для авторизованных пользователей МПГУ. – Библиогр.: с. 335. – На рус. яз.

2006

основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
основной = виды изданий : электронные ресурсы : электронные ресурсы МПГУ
основной = сверка 2024
основной = сверка 2024