V. L. Selivanov. Primitive Recursive Ordered Fields and Some Applications