@incollection{401595,
title = {Eliminace kvantifik\'ator\r u v element\'arn\'\i\ teorii re\'aln\v e uzav\v ren\'ych t\v eles: pozoruhodn\'a historie, aktu\'aln\'\i\ sou\v casnost},
booktitle = {Matematika v prom\v en\'ach v\v ek\r u. III},
series = {GDML\_Books},
publisher = {V\'yzkumn\'e centrum pro d\v ejiny v\v edy},
address = {Praha},
year = {2004},
pages = {56-68},
url = {http://dml.mathdoc.fr/item/401595}
}
Hora, Jaroslav. Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: pozoruhodná historie, aktuální současnost, dans Matematika v proměnách věků. III, GDML_Books, (2004), pp. 56-68. http://gdmltest.u-ga.fr/item/401595/