暂无分享,去创建一个
L. A. Kaluzhnin | V. Bodnarchuk | V. Kotov | B. A. Romov
[1] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .
[2] F. I. Mautner. An Extension of Klein's Erlanger Program: Logic as Invariant-Theory , 1946 .
[3] P. J. Higgins. Algebras with a Scheme of Operators , 1963 .