Формализованный язык для описания теории комплексных гиперрациональных чисел

Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

Original language	Undefined
Title of host publication	Поэт, ученый, педагог (Всеросс. Конференция, посв. 100-летию со дня рождения Н.А.Фролова)
State	Published - 2009
Externally published	Yes

язык исчисления предикатов. Формализованные теории. Комплексные гиперрациональные числа.

ID: 4444037