TY - GEN AU - Peckhaus, Volker ID - 18304 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 441–467 ER -