Paul Cohen wrote an exposition of his proof. It was republished by Dover: https://store.doverpublications.com/0486469212.html https://store.doverpublications.co

Paul Cohen wrote an exposition of his proof. It was republished by Dover: https://store.doverpublications.com/0486469212.html https://store.doverpublications.com/0486469212.html It starts with background material in logic and set theory (fast-paced, but reasonably easy to follow and fairly complete in what it covers). Contents: 1. General background in logic 2. Zermelo-Fraenkel set theory 3. The consistency of the continuum hypothesis and the axiom of choice 4. The independence of the continuum hypothesis and the axiom of choice I haven't gone through the whole thing, but what I've read is pretty clear. And the whole book is only 150 pages. This is not a textbook - no exercises. (Disclaimer: I'm a mathematician, but not a logician or a set theorist.)