On the Logical Content of the Weak Law of Extensionality and its Relation to the Successive Simplification of the Original Axiom of Lesniewski's Logical Ontology, Technical Report 2002-1 (to appear in the Festschrift dedicated to Prof. Hubert Hubien, Universite de Liege, Belgium)
各種検索
サポート
ヘルプ