@incollection{MacintyreWilkie:1996,
    author = {Angus Macintyre and Alex J. Wilkie},
    booktitle = {Kreiseliana: About and Around Georg Kreisel},
    editor = {Piergiorgio Odifreddi},
    pages = {441--467},
    publisher = {A K Peters},
    title = {On the Decidability of the Real Exponential Field},
    year = {1996},
    date-added = {2024-11-4 17:39:42 +0100}
}

@incollection{MacintyreWilkie:1996, author = {Angus Macintyre and Alex J. Wilkie}, booktitle = {Kreiseliana: About and Around Georg Kreisel}, editor = {Piergiorgio Odifreddi}, pages = {441--467}, publisher = {A K Peters}, title = {On the Decidability of the Real Exponential Field}, year = {1996}, date-added = {2024-11-4 17:39:42 +0100} }