Isabel Luengo (luengo-i)

Contributions to Philosophie.ch

Bibliography

Luengo, Isabel. 1996a. “A Diagrammatic Inference System for Geometry.” in Logic, Language and Computation .Volume 1, edited by Jerry Seligman and Dag Westerståhl, pp. 363–372. CSLI Lecture Notes n. 58. Stanford, California: CSLI Publications.
Luengo, Isabel. 1996b. “A Diagrammatic Subsystem of Hilbert’s Geometry.” in Logical Reasoning with Diagrams, edited by Gerard Allwein and Jon K. Barwise, pp. 149–177. Oxford: Oxford University Press.