Some metamathematical problems concerning elementary hyperbolic geometry
収録刊行物
-
- The axiomatic method
-
The axiomatic method 30-52, 1959
North-Holland
The axiomatic method 30-52, 1959
North-Holland