Books.md @master — view markup · raw · history · blame
Algebraic Logic Books
Logic as Algebra
- authors: Paul Halmos, Steven Givant
- date: 1998
- borrow @ archive.org
.
An Algebraic Introduction to Mathematical Logic
- authors: Donald W. Barnes, John M. Mack
- date: 1975
- borrow @ archive.org
.
A Formalization of Set Theory without Variables
- authors: Alfred Tarski, Steven Givant
- date: 1988
- borrow @ archive.org
.