"Rosser, J Barkley" <br/><br/>
Simplified Independence Proofs 

 - \\196900ENGGPSX 
 - Academic Press  1969  London 
 - xiv+216p 
<br/><br/> includes index and biblioraphy