Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: pozoruhodná historie, aktuální současnost
(Czech) [Quantifier elimination in the elementary theory of real closed field: remarkable history, current state].
In:
Bečvář, Jindřich (editor); Fuchs, Eduard (editor): Matematika v proměnách věků. III.
(Czech).
Praha:
Výzkumné centrum pro dějiny vědy,
2004.
80-7285-040-7,
pp. 56-68
