Lin, Tzu-Mu (1981) From Geometry to Logic. Master's thesis, California Institute of Technology. doi:10.7907/887g-zn84. https://resolver.caltech.edu/CaltechTHESIS:04122012-091736952