Appel, Andrew W., <br/><br/>
Alan Turing`s systems of logic: the princeton thesis   
edited by Andrew W. Appel 
 -   
 - Princeton:  Princeton University Press,  2012. 
 - xv, 142 p:  ill;  26 cm. 
 -   
 -   .
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780691164731 
 =   
<br/><br/><label>Nat. Bib. No.: </label>  
<br/><br/><label>Nat. Bib. Agency Control No.: </label>  
<br/><br/><label>Subjects--Meeting Names: </label><br/>  
<br/><br/><label>Subjects--Index Terms: </label>General principles of mathematics Logic Symbolic and mathematical 
<br/><br/><label>LC Class. No.: </label> /  
<br/><br/><label>Dewey Class. No.: </label>511.3 APP