Mathematical Logic - Set Theory, Model Theory, Proof Theory, Computability, etc. - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Mathematical Logic - Set Theory, Model Theory, Proof Theory, Computability, etc.
Top Free Web Programming Books 🌠 - 100% Free or Open Source!
:
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