Lectures in Set Theory: With Particular Emphasis on the Method of Forcing (Lecture Notes in Mathematics, 217)
Theory of Sets
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Fundamentals of Contemporary Set Theory (Universitext)
Course of Mathematical Logic Volume I Relation and Logical Formula
Introduction to Axiomatic Set Theory (Graduate Texts in Mathematics)
Théorie des ensembles (French Edition)
Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)
Proof Theory An Introduction
