Algebraization of quantifier logics, an introductory overview

Graduate Texts in Mathematics

J. H. van Lint · 2020 · 4.5K citations

Education, Mathematics, Mathematics Education +8

A Course in Universal Algebra.

Andreas Blass, Stanley Burris, Hanamantagouda P. Sankappanavar · American Mathematical Monthly · 1984 · 2K citations

Natural Sciences, Mathematics, Mathematics Education +10

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

Provability interpretations of modal logic

Robert M Solovay · Israel Journal of Mathematics · 1976 · 457 citations

Humanities, Computer Science, Philosophy +13