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

Книга (аналит. описание)
22.1р

Тимофеева, Ирина Леонидовна.
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе математической логики / И. Л. Тимофеева, С. В. Хохлов // Некоторые вопросы математики, информатики и методики их преподавания : сб. науч. ст. / Моск. пед. гос. ун-т ; гл. ред.: В. Л. Матросов. – Москва : Прометей, 2006. – С. 317 - 321. – Библиогр.: с. 321. – На рус. яз.

ББК 22.1р
ББК 22.122

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