참고문헌
- Distributive Lattices R. Balbes;P. Dwinger
- Proc. Camb. Phil. Soc. v.29 On the combination of subalgebras G. Birkhoff
- Proc. Camb. Phil. Soc. v.30 Note on the paper 'On the combination of subalgebras G. Birkhoff
- Proc. Camb. Phil. Soc. v.30 Applications of lattice algebra G. Birkhoff
- Annals of Math v.36 Combinatorial relations in projective geometries G. Birkhoff
- Lattice Theory, Amer. Math. Soc. Coll. Pub. XXV, Amer. Math. Soc. Providence (1st ed.) 1940(2nd ed.) 1948, (3rd ed.) G. Birkhoff
- Annals of Math v.37 The logic of quantum mechanics G. Birkhoff;J. von Neumann
- Paradoxien des Unendlichen B. Bolzano;F. Prihonsky(ed.);C. H. Reclam
- The Mathematical Analysis of Logic G. Boole
- An Investigation of the Laws of Thought G. Boole
- Stetigkeit und Irrational Zahlen R. Dedekind
- Festschrift Techn. Hoch Braunschweig(1897) and Ges. Werke v.II Uber Zerlegungen von Zahlen durch ihre grossten gemeinsamen Teiler R. Dedekind
- Math. Ann, and Ges. Werke v.53;II Uber die von drei Moduln erzeugte Dualgruppe R. Dedekind
- Gesammelte mathermatische Werke v.3 R. Dedekind
- Werke v.X C. F. Gauss
- Gesammelte mathematische Werke v.6 H. Grassmann
- Sitzungsber. Preuss Akad. Wiss. Phys.-math. Klasse Die formalen Reglen der intuitionistischen Logik A. Heyting
- Pure Logic W. S. Jevons
- Opuscules et fragments inedits G. W. Leibniz;L. Coutrat(ed.)
- Arithmetical principia, novo modo exposita G. Peano
- Amer. J. Math v.3 On the algebra of logic C. S. Peirce
- Vorlesungen iiber die Algebra der Logik v.3 E. Schroder
- Historia Math. v.10 no.1 순서와 위상구조의 관계 홍성사;홍영희
- Historia Math. v.12 no.1 유니버설대수학의 역사 홍영희