Logic II: Proof 

 - \\197100ENGGPSX 
 - Open University Press  1971  Milton Keynes 
 - 56p 
<br/><br/> includes index and biblioraphy