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

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

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

2006

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