论文信息 - A simple algebra of first order logic - 字舞流文

A simple algebra of first order logic

Charles C. Pinter

[1] Bernard A. Galler,et al. Cylindric and polyadic algebras , 1957 .

[2] Paul R. Halmos,et al. Algebraic logic, I. Monadic boolean algebras , 1956 .

[3] P. Halmos. Algebraic logic. IV. Equality in polyadic algebras , 1957 .

[4] Zur Strukturgleichheit Axiomatischer Klassen , 1966 .