References
- Kleene, S. C., 1952. Introduction to metamathematics. Amsterdam and New York: North-Holland; 1952.
- Kleene, S. C., and Vesley, R. E., 1965. The foundations of intuitionistic mathematic. Amsterdam: North-Holland; 1965.
- Lombard, M., and Vesley, R., 1998. A common axiom set for classical and intuitionistic plane geometry, Annals of Pure and Applied Logic 95 (1998), pp. 229–255.
- Moler, N., and Suppes, P., 1968. Quantifier-free axioms for construct ive plane geometry, Compositio Mathematica 20 (1968), pp. 143–152.
- Pambuccian, V., 1989. Ternary operations as primitive notions for construc tive plane geometry, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35 (1989), pp. 531–535.
- Pambuccian, V., 1992. Ternary operations as primitive notions for construct ive plane geometry II, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 38 (1992), pp. 345–348.
- Quaife, A., 1989. Automated development of Tarski's geometry, Journal of Automated Reasoning 5 (1989), pp. 97–118.
- Schwabhäuser, W., Szmielew, W., and Tarski, A., 1983. Metamathematische Methoden in der Geometrie. Berlin. 1983.
- Szczerba, L. W., 1986. Tarski and geometry, Journal of Symbolic Logic 51 (1986), pp. 907–912.
- Tarski, A., 1959. "What is elementary geometry?". In: Henkin, L., Suppes, P., and Tarski, A., eds. The Axiomatic Method with Special Reference to Geometry and Physics. Amsterdam: North-Holland; 1959.
- van Dalen, D., 1990. "Heyting and intuitionistic geometry". In: Petkov, P., ed. Mathematical Logic. New York: Plenum; 1990.
- von Plato, J., 1994. The axioms of construct ive geometry, Annals of Pure and Applied Logic 76 (1994), pp. 169–200.