New Algebras of Logic
暂无分享，去创建一个
[1] J. Neumann,et al. The Logic of Quantum Mechanics , 1936 .
[2] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[3] A. Church. On the law of excluded middle , .
暂无分享，去创建一个
[1] J. Neumann,et al. The Logic of Quantum Mechanics , 1936 .
[2] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .
[3] A. Church. On the law of excluded middle , .