Primitive recursive ordered fields and some applications
scientific article; zbMATH DE number 7497964
scientific article