Dov M. Gabbay The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. 86-92 1973 38 J. Symb. Log. 1 db/journals/jsyml/jsyml38.html#Gabbay73