- Tytuł:
- On a universal axiomatization of the real closed fields
- Autorzy:
- Nowak, Krzysztof
- Data publikacji:
- 1996
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
real closed fields
real valuations
Nash functions
quantifier elimination - Dostawca treści:
- Biblioteka Nauki
Artykuł