# 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