Mathematical Logic and Set Theory Books, Documents, and Lectures

Title	Year	Description
A Problem Course in Mathematical Logic	2003	A text indended to serve as an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints.
Logic For Everyone	1994	This book covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.
Mathematical Logic - An Introduction	2006	These notes introduce mathematical logic and include an extensive section on the history of logic