Mathematical Logic Books

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

Asymptotic Differential Algebra and Model Theory of Transseries
by M. Aschenbrenner, L. van den Dries, J. van der Hoeven, 2015, 727 pp, 5.6MB, 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 David Marker, 2002, 105 pp, 630KB, 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

Hack, Hack, Who's There? A Gentle Introduction to Model Theory
by David Reid, 2016, 273 pp, multiple formats

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

Introduction to Mathematical Logic
by Vilnis Detlovs, Karlis Podnieks, 2014, 240 pp, 1.1MB, PDF

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

Mathematical Logic
by Stephen G. Simpson, 2008, 127 pages, 700KB, PDF

by Jan Wolenski, 2002, 35 pp, 270KB, PDF

Modal Logic of Strict Necessity and Possibility
by Evgeni Latinov, 2014, 264 pp, online reading

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

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, Groups and Knots
by Curtis T. McMullen, 2008, 56 pp, 330KB, 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

What is Mathematics: Gödel's Theorem and Around
by Karlis Podnieks, 2013, 239 pp, 1.2MB, PDF