Просмотр записи

Cиcт.нoмep	000629095
Идeнтиф.	RU\NLR\AUTH\66668028
Версия	20051005130354.0
Заголовок	Системы подстановок термов
Сс. от	Подстановок термов системы
Б.широкое	Математическая логика
Индекс ББК	В152.7