The origin of relation algebras in the development and axiomatization of the calculus of relations

Introduction to Mathematical Logic.

Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations

Humanities, Computer Science, Mathematics +15

On the calculus of relations

Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations

Humanities, Mathematics, Philosophy +13

Boolean Algebras with Operators

Bjarni Jonnson, Alfred Tarski · American Journal of Mathematics · 1952 · 764 citations

Natural Sciences, Computer Science, Mathematics +8

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

Natural Sciences, Computer Science, Mathematics +10

Introduction to mathematical logic

Haskell B. Curry · Journal of the Franklin Institute · 1957 · 509 citations

Humanities, Mathematics, Formal Methods +11