
Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением
Author(s) -
Сергей Михайлович Дудаков,
Сергей Михайлович Дудаков
Publication year - 2004
Publication title -
matematičeskie zametki
Language(s) - Russian
Resource type - Journals
eISSN - 2305-2880
pISSN - 0025-567X
DOI - 10.4213/mzm110
Subject(s) - computer science