Alan's turing systems of logic :  the princeton thesis / 
edited by Andrew W. Appel. 
 - New Jersey :  Princeton University Press,  2012 
 - xv, 142 pages ;  26 cm. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>9780691164731 (paperback) 
<br/><br/><label>Subjects--Topical Terms: </label>
<br/><br/><label>LC Class. No.: </label>QA9.2   / ALA