Lectures in set theory, with particular emphasis on the method of forcing, Springer-Verlag Lecture Notes in Mathematics 217 (1971) (ISBN978-3540055648)
The axiom of choice, North-Holland 1973 (Dover paperback edition ISBN978-0-486-46624-8)
(with K. Hrbáček) Introduction to set theory, Marcel Dekker, 3rd edition 1999 (ISBN978-0824779153)