Elementary theories and their constructive models, Handbook of Recursive Mathematics (1999)

by Y Ershov, S Goncharov
Venue:Studies in Logic and the Foundations of Mathematics