Open University <br/><br/>
Logic II proof 

 - Bletchley 
 - 1972