6 results
Wolfram Schwabhäuser. On completeness and decidability of some non-definable notions of elementary hyperbolic geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 159–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 43–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 132–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. Über die Vollständigkeit der elementaren euklidischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 137–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1971
-
- Article
- Export citation
Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 152–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 474
- Print publication:
- September 1970
-
- Article
- Export citation
H. L. Royden. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 86–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
- Print publication:
- September 1970
-
- Article
- Export citation