SIMPLIFIED INDEPENDENCE PROOFS - Rosser,J. Barkley (Academic Press, New York, 1969)