Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity: