Nonstandard Analysis (Dover Books on Mathematics)

The Structure of Proof: With Logic and Set Theory

Set Theory An Introduction To Independence Proofs (Studies in Logic and the Foundations of Mathematics, Volume 102)

Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets

Naming Infinity: A True Story of Religious Mysticism and Mathematical Creativity

Measure Theory and Probability (The Wadsworth & Brooks/Cole Mathematics Series)

Real Analysis for Beginners: A Rigorous Introduction to Set Theory, Functions, Topology, Limits, Continuity, Differentiation, Riemann Integration, Sequences, and Series

Computable Structures and the Hyperarithmetical Hierarchy (Volume 144) (Studies in Logic and the Foundations of Mathematics, Volume 144)

Logical Dilemmas

Pure Mathematics for Beginners - Accelerated and Expanded Edition: A Rigorous Introduction to Logic, Set Theory, Abstract Algebra, Number Theory, Real ... Complex Analysis, and Linear Algebra