共 50 条
- [1] Sheaf representation for topoi [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2000, 145 (02) : 107 - 121
- [3] Completeness of a system of eigenvectors of quadratic operator sheaf in waveguide theory [J]. Moscow University Physics Bulletin, 2011, 66
- [5] CONTINUITY, HOLOMORPHY AND LOGIC OF TOPOI [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A478 - A478
- [6] LOGICAL OPENS AND REAL NUMBERS IN TOPOI [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1986, 43 (02) : 129 - 143
- [7] LOGICAL CATEGORIES, POLYADIC CATEGORIES AND TOPOI [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 386 - 386
- [8] ON THE SHEAF THEORY [J]. RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO, 2006, 55 (02) : 185 - 191
- [9] On the Meaning of Logical Completeness [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 50 - 64
- [10] LOGICAL HYLOMORPHISM AND ARISTOTLE KOINOI-TOPOI [J]. CENTRAL STATES SPEECH JOURNAL, 1978, 29 (02): : 92 - 97