Mathematical Logic - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

Processing ......

FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.

Mathematical Logic - Set Theory, Model Theory, Computability, etc

Theory of Computation Books	Computational and Algorithmic Mathematics Books
Discrete Mathematics Books	Computational Complexity Books
Topoi: The Categorial Analysis of Logic ©1984-2006 (Robert Goldblatt) 576 pages
A Problem Course in Mathematical Logic ©1996-2003 (Stefan Bilaniuk)
Language, Proof and Logic ©2002 (Jon Barwise and John Etchemendy) 598 pages [Homepage]
Fundamentals of Model Theory ©2000 (William Weiss, Cherie D'Mello)
Model Theory, Algebra and Geometry ©2000 (Deirdre Haskell, Anand Pillay, Charles Steinhorn)
Logic for Computer Science: Foundations of Automatic Theorem Proving ©1986 (Jean Gallier)
Mathematical Logic Books by Dr. Robert A. Herrmann, 1989-1995
An Introduction to Set Theory ©2006 (William Weiss)	Determinacy in Infinite Games (Jindrich Zapletal)
Logic and Proof ©2002 (Dr Larry Paulson)	Proofs and Types ©1989 (Jean-Yves Girard)