Lin, Tzu-Mu (1981) From Geometry to Logic (Thesis (Masters)), California Institute of Technology doi: 10.7907/887g-zn84
