1. Eliminace kvantifikátorů v elementární teorii reálně uzavřených těles: Creator: Hora, Jaroslav Type: text and studie Subject: Matematika, Tarski, Alfred,, matematika, matematici, logika, světové dějiny od r. 1918 do současnosti, and matematika, kybernetika Language: Czech Rights: unknown