" Introduction to axiomatic set theory / " Jean-Louis Krivine; translated from the French by David Miller.