@incollection{den_Dries_1984,
doi = {10.1016/s0049-237x(08)71811-1},
url = {https://doi.org/10.1016%2Fs0049-237x%2808%2971811-1},
year = {1984},
publisher = {Elsevier},
pages = {97--121},
author = {Lou van den Dries},
title = {Remarks on Tarski's problem concerning {$(R, +, *, exp)$}},
booktitle = {Logic Colloquium {\textquotesingle}82}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A