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

 -  1956. 
 - Princeton mathematical services^Marston Morse and Awtucker;17 .
<br/><br/><label>Subjects--Index Terms: </label>Mathematics Philosophy