3 results
Andrzej Grzegorczyk. Axiomatizability of geometry without points. Synthese, vol. 12 nos. 2–3 (1960), pp. 228–233; also in The concept and role of the model in mathematics and natural and social sciences, Synthese Library, D. Reidel Publishing Company, Dordrecht 1961, pp. 104–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
- Print publication:
- March 1972
-
- Article
- Export citation
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 (1967), pp. 93–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
- Print publication:
- September 1970
-
- Article
- Export citation
Dana Scott. Dimension in elementary Euclidean 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. 53–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- 17 November 1969
-
- Article
- Export citation