TY  - BOOK
AU  - Rossser, J Berkley
TI  - Simplified independence proofs
N1  - B2N4 K91
ER  -