Processing ......
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
Mathematical Logic - Set Theory, Model Theory, Proof Theory, Computability, etc.
Where are Temporary Flight Restrictions? Click here to find out!
Theory of Computation Books Computational and Algorithmic Mathematics Books
Discrete Mathematics Books Computational Complexity Books
Set Theoretic Approach to Algebraic Structures in Mathematics ©2013
Introduction to Computing: Explorations in Language, Logic, and Machines ©2011 (David Evans)
Elementary Calculus: An Infinitesimal Approach ©1985,2000,2010 (H. Jerome Keisler) 992 pages
A Gentle Introduction to the Art of Mathematics ©2010 (Joseph E. Fields)
Book of Proof ©2009 (Richard Hammack)
A Concise Introduction to Mathematical Logic ©2009 (Wolfgang Rautenberg)
Prolog Experiments in Discrete Mathematics, Logic, and Computability ©2009 (James L. Hein)
Let Over Lambda - 50 Years of Lisp ©2008 (Doug Hoyte)
Topoi: The Categorial Analysis of Logic ©1984-2006 (Robert Goldblatt) 576 pages
The Haskell Road to Logic, Maths and Programming ©2004 (Kees Doets, van Jan Eijck)
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)
Normalization, Cut-Elimination, and the Theory of Proofs ©1992 (A. M. Ungar) 236 pages
The Complexity of Boolean Functions, 470 pages, ©1991 (Ingo Wegener)
Logic for Computer Science: Foundations of Automatic Theorem Proving ©1986-1988 (Jean H. 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)
Lecture notes - Model Theory ©2002 (Anand Pillay) Logic and Proof ©2002 (Dr Larry Paulson)
Proofs and Types ©1989 (Jean-Yves Girard) Abstract Set Theory ©1962 (Thoralf A. Skolem)
Book Categories
Other Categories
Resources and Links