1. [Brachman 83] Brachman, R. J. : What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks, IEEE , Computer, October, pp.30-36(1983).
2. [Gochet 85] Gochet, P. : The Syncategorematic Treatment of Predicates, in Analytical Philosophy in Comp rative Perspective , B.K.Matilal, J.L.Show (eds.), Synthese Library, Vol. 178, Reidel, pp61-80(1985).
3. [Heijenoort 67] Heijenoort : From Frege t o Gödel, Harvard University Press(1967).
4. [Leibniz 1690] Leibniz, G. W. : Difficultates quaedam Logicae zur Logik und zur philosophischen Grundlegung von Mathematik und Naturwissenschaft, Band 4, 182-20, Suhrkamp TaschenBuch Wissenschaft(nach 1690).
5. [Leibniz 1765] Leibniz, G. W. : Neuveaux Essais Sur L'Entendment Humain , Band 3/2, Suhrkamp Taschenbuch Wissenschaft(nach 1765).