den Dries, Remarks on Tarski’s problem concerning (1984)

by L van
Venue:Logic Colloquium ’82, North-Holland