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

 - Princeton  Princeton University Press, 1c1956 
 - v. 
<br/><br/>Includes index and bibliographical references.