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

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

Сергеева, Ирина Евгеньевна.
О различных определениях линейного вывода в исчислении предикатов / И. Е. Сергеева // Актуальные проблемы математики, информатики и образования : Сборник статей / Моск. пед. гос. ун-т ; Редкол.: В. Л. Матросов (гл. ред.) и др. – Москва : МПГУ, 2007. – С. 305-309. – Библиогр.: с. 309. – На рус. яз.

2007

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