Alonzo Church <br/><br/>
Introduction to mathematical logic 

 - New Delhi  University Press  1956 
 - p.378 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Philosophy