Free textbooks in mathematical logic and set theory
- Logic for Everyone by Robert A. Herrmann
- Mathematical Logic - an Introduction by Michal Walicki
- Set theory by Dr. P. G. Dixon
- Set, Groups and Knotes Course (math 101 Harvard university) by Prof. Curtis McMullen
- Descriptive Set Theory by Prof. David Marker.
- Axiomatic Set Theory Michael Meyling
- Axiomatic Set Theory I by A.C. Walczak-Typke (other formats: kindle, epub torrent).
- Proof, Sets, and Logic by M Randall Holmes (other formats: tex and complementary toc). More can be find in here.
- Elementary Set Theory with a Universal Set by Randall Holmes
- Philosophy 595 - Set Theory by Gary Hardegree
- Philosophy 511: Introduction to Modal Logic by Gary Hardegree
- Philosophy 310: Intermediate Logic by Gary Hardegree
- Philosophy 382 - Philosophy of Science by Gary Hardegree
- Philosophy 513 - Math Logic I by Gary Hardegree
- Philosophy 595 - Formal Semantics by Gary Hardegree
- Abstract Set Theory by Thoralf A. Skolem
- The Continuum and Other Types of Serial Order by Edward V. Huntington
- Descriptive Set Theory by Yiannis N. Moschovakis
- Lecture Notes in Logic by Yiannis N. Moschovakis
- Sense and denotation as algorithm and value by Yiannis N. Moschovakis and Fritz Hamm
- An Introduction to Set Theory by William Weiss
- Fundamentals of Model Theory by William Weiss
- Sets, Relations, Functions by Ivo Düntsch
- Mathematical Logic by Stephen G. Simpson
- Foundations of Mathematics by Stephen G. Simpson
- Model Theory by Stephen G. Simpson
- The theory of the foundations of mathematics - 1870 to 1940 by Mark Scheffer
- Computability and Incompleteness by Jeremy Avigad
- Fundamentals of Model Theory by William Weiss and Cherie D'Mello
- Lecture notes in Motivic Integration by David Kazhdan
For more logic lecture notes go to: ASSOCIATION FOR SYMBOLIC LOGIC members.
For more set theory materials go to: Set Theory Preprint Sites