@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}
}

@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 badge