Book

Simplified independence proofs

by Rosser, J. Barkley