• DML-CZ Home
• Dějiny matematiky

Author: Hora, Jaroslav

• Hora, Jaroslav: 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