Identities in two-valued calculi
暂无分享,去创建一个
[1] C. J. Everett,et al. The Representation of Relational Algebras. , 1951 .
[2] W. Specht. Gesetze in Ringen. I , 1950 .
[3] A. S. Amitsur,et al. Minimal identities for algebras , 1950 .
[4] Leon Henkin,et al. Fragments of the propositional calculus , 1949, Journal of Symbolic Logic.
[5] Robert Feys. Review: J. B. Rosser, A. R. Turquette, Axiom Schemes for M-Valued Propositional Calculi , 1946 .
[6] A. R. Turquette,et al. Axiom schemes for m-valued propositions calculi , 1945, Journal of Symbolic Logic.
[7] Emil L. Post. The two-valued iterative systems of mathematical logic , 1942 .
[8] B. H. Neumann. Identical relations in groups. I , 1937 .
[9] M. Stone,et al. The Theory of Representation for Boolean Algebras , 1936 .
[10] M. Stone. The theory of representations for Boolean algebras , 1936 .
[11] M. Wajsberg. Beiträge zum Metaaussagenkalkül I , 1935 .
[12] G. Birkhoff,et al. On the Structure of Abstract Algebras , 1935 .
[13] Alfred Tarski. A Remark on Functionally Free Algebras , 1946 .