References
- Abstract and Concrete Categories J. Adamek;H. herrlich;G. E. Strecker
- Comptes Rendus Acad. Sci. v.200 Sur les espaces discrets P. Alexandroff
- Mat. Sbornik v.2 Discrete Raume P. Alexandroff
- Topologie I P. Alexandroff;H. Hopf
- Distributive Lattices R. Balbes;P. Dwinger
- Arch Math v.18 Categorical characterization of the MacNeille completion B. Banaschewski;G. Bruns
- J. Reine Angew. Math v.232 Injective hulls in the category of distributive lattices B. Banaschewski;G. Bruns
- Treillis locaux et paratopologies, Sem. Ehresmann, 1re annee J. Benabou
- The Mathematical Analysis of Logic G. Boole
- An Investigation of the Laws of Thought G. Boole
- Bull. Amer. Math. Soc. v.20 Intuitionism and formalism L. E. J. Brouwer
- Math. Ann v.93 Zur Begrundung des intuitionistischen Mathematik L. E. J. Brouwer
- Math. Ann v.95 Zur Begrundung des intuitionistischen Mathematik L. E. J. Brouwer
- Math. Ann v.96 Zur Begrundung des intuitionistischen Mathematik L. E. J. Brouwer
- Portugal Math v.11 Representation of complete lattices by sets J. R. Buchi
- Math. Ann v.46 Beitrage zur Begrundung der transfiniten Mengenlehre. I G. Cantor
- Hausdorff Compactifications R. E. Chandler
- Stetigkeit und Irrationale Zahlen R. Dedekind
- Ver. Deutscher Natur. und Arzte Uber Zerlegungen von Zahlen durch ihre grossten gemeinsamen Teiler R. Dedekind
- Math. Ann v.53 Uber die von drei Moduln erzeugte Dualgruppe R. Dedekind
- Jber. Deutsch. Math-Verein v.60 Gattungen von lokalen Strukturen C. Ehresmann
- Cir. Math Palermo. Rend v.22 Sur quelques points du calcul fontionnel M. Frechet
- A Compendium of Continuous Lattices G. Gierz;K. H. Hofmann;K. Keimel;J. D. Lawson;M. Mislove;D. S. Scott
- Grundzuge der Mengenlehre F. Hausdorff
- Handbook of the History of General Topology v.1 A Categorical Topology H. Herrlich;G. E. Strecker
- Akad Wiss., Phys-math Klasse Die formalen Reglen der intuitionistischen Logik A. Heyting
- Trans. Amer. Math. Soc. v.5 Sets of independent postulates for the algebra of logic E. V. Huntington
- Fund. Math v.113 Tychonoff's theorem without the axiom of choice P. T. Johnstone
- Stone Spaces P. T. Johnstone
- Opuscules et fragments inedits G. W. Leibniz;L. Courant(ed)
- Trans. Amer. Math. Soc. v.42 Partially ordered sets H. M. MacNeille
- Amer. J. Math v.3 On the algebra of logic C. S. Peirce
- Extensions and Absolutes of Hausdorff Spaces J. R. Porter;R. G. Woods
- Amer. J. Math v.3 Introduction to a general theory of elementary propositions E. L. Post
- Vorlesungen uber die Algebra der logik v.1 E. Schroder
- Proc. Nat. Acad. Sci. U. S. A v.20 Subsumption of the theory of Boolean algebras under the theory of rings M. H. Stone
- Trans. Amer. Math. Soc. v.40 The theory of representations for Boolean algebras M. H. Stone
- Trans. Amer. Math. Soc. v.41 Applications of the theory of Boolean rings to general topology M. H. Stone
- Bull. Amer. Math. Soc. v.44 The representation of Boolean algebras M. H. Stone
- Topology via ogic S. Vickers
- Ann. math v.39 Lattices and topological spaces H. Wallman
- A Treatise on Universal Algebra with Applications v.1 A. N. Whitehead
- Historia Math v.9 no.1 선택공리와 19세기 수학 홍성사;홍영희
- Historia Math v.9 no.2 Zermelo이후의 선택공리 홍성사;홍영희