Free Mathematics eBooks Online : Mathematical Logic
If you are looking for Books about Mathematical Logic to advance your Knowledge, here is a list in various formats available for free download or online reading from top universities and publishers for all learners worldwide:
Abstract Set Theory
by Thoralf A. Skolem, 1962, PDF
The Algebra of Logic
by Louis Couturat, 102 pages, 590KB, PDF
Algebraic Logic
by H. Andreka, I. Nemeti, I. Sain, 2003, 129 pages, 740KB, PDF
Algebraic Tools for Modal Logic
by Mai Gehrke, Yde Venema, 2001, 109 pp, 1.3MB, PDF
The Art of Logic
by Nuel Belnap, 2009, 314 pages, 950KB, PDF
Axiomatic Set Theory
by Michael Meyling, 2011, 36 pp, 340KB, PDF
Axiomatic Set Theory I
by A. C. Walczak-Typke, 2009, 128 pp, 730KB, PDF
Basic Concepts in Modal Logic
by Edward N. Zalta, 2011, 92 pp, 570KB, PDF
Book of Proof
by Richard Hammack, 2009, 270 pages, 1.2MB, PDF
Coalgebras and Modal Logic
by Alexander Kurz, 2002, 100 pp, 1.7MB, PDF
Coherence in Linear Predicate Logic
by K. Dosen, Z. Petric, 2010, 51 pages, 410KB, PDF
The Continuum and Other Types of Serial Order
by Edward V. Huntington, 1917, 90 pages, 6.6MB, PDF
Descriptive Set Theory
by Yiannis N. Moschovakis, 2009, 516 pages, 3MB, PDF
Elementary Set Theory with a Universal Set
by Randall Holmes, 2005, 240 pages, 780KB, PDF
An elementary theory of the category of sets
by F. William Lawvere, 2005, 36 pages, DVI/PS/PDF
forall x: An Introduction to Formal Logic
by P.D. Magnus, 2008, 160 pages, 0.6MB, PDF
Formal Logic
Wikibooks, 2009
Foundations of Mathematics
by Stephen G. Simpson, 2008, 123 pages, 750KB, PDF
Fundamentals of Model Theory
by William Weiss and Cherie D’Mello, 2000
The Game of Logic
by Lewis Carroll, 1887
A Gentle Introduction to the Art of Mathematics
by Joseph Fields, 2009, 428 pages, 1.5MB, PDF
Handbook of Modal Logic
by Patrick Blackburn, Johan van Benthem, Frank Wolter, 2006, 1260 pp, multiple PDF files
An Introduction to Good Old Fashioned Model Theory
by Harold Simmons, 2004, 180 pages, 660KB, PDF
Introduction to Logic
by Michal Walickil, 2006, 179 pages, 4.1MB, PDF
An Introduction to Mathematical Logic
by Wolfram Pohlers, Thomas Glass, 1992, 229 pages, 1.3MB, PS
Introduction to Mathematical Logic: A problem solving course
by Arnold W. Miller, 1996, 75 pages, 430KB, PDF
Introduction to Proof Theory
by Gilles Dowek, 2001, 82 pp, 620KB, PDF
An Introduction to Set Theory
by William A. R. Weiss, 2008, 119 pages, PDF/PS/DVI
Intuitionistic Logic
by Nick Bezhanishvili, Dick de Jongh, 2010, 57 pages, 370KB, PDF
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
by T. Nipkow, L.C. Paulson, M. Wenzel, 2010, 223 pages, 1.2MB, PDF
Lecture Notes on the Lambda Calculus
by Peter Selinger, 2007, 106 pages, 460KB, PDF
Lectures on Linear Logic
by A. S. Troelstra, 1992, 215 pages, 47MB, PDF
Logic and Proof
by Lawrence C Paulson, 2002, 79 pages, 290KB, PDF
Logic for Computer Science
by Jean H. Gallier, 1986, 528 pages, 1.5MB, ZIP/PDF
Logic for Computer Science
Wikibooks, 2010, online html
Logic For Everyone
by Robert A. Herrmann, 2006, 124 pages, 1MB, PDF
Logics of Time and Computation
by Robert Goldblatt, 1992, 200 pages, 6.8MB, PDF
A Manual of Intensional Logic
by Johan van Benthem, 1988, 147 pages, 37MB, PDF
Mathematical Logic
by Stephen G. Simpson, 2008, 127 pages, 700KB, PDF
Metalogic
by Jan Wolenski, 2002, 35 pp, 270KB, PDF
Model-Theoretic Logics
edited by J. Barwise, S. Feferman, 1985, PDF
Model Theory
by C. Ward Henson, 2010, 122 pages, 650KB, PDF
Model Theory, Algebra and Geometry
by Deirdre Haskell, Anand Pillay, Charles Steinhorn, 2000, 227 pages, PDF
Natural Topology
by Frank Waaldijk, 2012, 174 pp, 1.1MB, PDF
Notes on the Science of Logic
by Nuel Belnap, 2009, 227 pages, 750KB, PDF
Notes on Set Theory, Part 2
by Michael Makkai, 2000, PDF
Practical Foundations of Mathematics
by Paul Taylor, 1999
Predicative Arithmetic
by Edward Nelson, 1987, 201 pages, 5.3MB, PDF
The Principles Of Mathematics
by Bertrand Russell
A Problem Course in Mathematical Logic
by Stefan Bilaniuk, 2003, 166 pages, 0.7MB, PDF
Prolog Experiments in Discrete Mathematics, Logic, and Computability
by James Hein, 2005, 160 pages, 0.9MB, PDF
Proof, Sets, and Logic
by M. Randall Holmes, 2009, 207 pages, 750KB, PDF
Proof Theory and Philosophy
by Greg Restall, 2006, 168 pages, 1MB, PDF
Proofs and Concepts: the fundamentals of abstract mathematics
by Dave Witte Morris and Joy Morris, 2009, 220 pages, 1.8MB, PDF
A Second Course in Logic
by Christopher Gauker, 2010, 166 pages, 3MB, PDF
Set Theory
by Gary Hardegree, 2003, PDF
Sets, Relations, Functions
by Ivo Duentsch, Guenther Gediga, 2000, 55 pages, 230KB, PDF
Symbolic Logic
by Lewis Carroll, 1897
Symbolic Logic: A First Course
by Gary Hardegree, 1999, PDF
Symbolic Logic: A Second Course
by Gary Hardegree, 2003, PDF
Topoi: The Categorial Analysis of Logic
by Robert Goldblatt, 1984
