Caracterisation des algèbres de Nelson par des egalités, II
暂无分享,去创建一个
[1] Stephen Cole Kleene,et al. On notation for ordinal numbers , 1938, Journal of Symbolic Logic.
[2] Andrzej Białynicki-Birula,et al. Remarks on quasi-Boolean algebras , 1957 .
[3] Helena Rasiowa,et al. N-lattices and constructive logic with strong negation , 1958 .
[4] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[5] H. Gericke. Białynicki–Birula A.. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 (1957), S. 615–619. , 1967 .
[6] A. Monteiro,et al. Axiomes independants pour les algèbres de Brouwer , 1955 .
[7] J. A. Kalman,et al. Lattices with involution , 1958 .
[8] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .
[9] Marlow Sholander,et al. Postulates For Distributive Lattices , 1951, Canadian Journal of Mathematics.