Tarski's axiomatization of the reals (Q7686756)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Tarski's axiomatization of the reals |
No description defined |
Statements
1936
0 references
8 axiom
0 references