... Algebraic Study of Modal Operators on Heyting Algebras with Applications to Topology and Sheafification, Ph.D. Thesis, University of Aberdeen 1976.
確定! 回上一頁