Conditions related to de Morgan's law
暂无分享,去创建一个
[1] P. T. Johnstone,et al. Automorphisms of Ω , 1979 .
[2] P. T. Johnstone,et al. Finiteness and decidability: II , 1978, Mathematical Proceedings of the Cambridge Philosophical Society.
[3] R. Walker,et al. The Stone-Cech Compactification , 1974 .
[4] Peter Freyd,et al. Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.
[5] Alfred Horn,et al. Logic with truth values in A linearly ordered heyting algebra , 1969, Journal of Symbolic Logic.
[6] Leonard Gillman,et al. Rings of continuous functions , 1961 .
[7] Michael P. Fourman,et al. Sheaf models for analysis , 1979 .
[8] Christian Juul Mikkelsen,et al. Lattice theoretic and logical aspects of elementary topoi , 1976 .
[9] B. R. McDonald. Automorphisms of _ , 1976 .
[10] L. N. Stout. Topological Properties of the Real Numbers Object in a Topos , 1976 .