Turing, Alan Mathison <br/><br/>
Alan Turing's systems of logic  the Princeton thesis 
 Systems of logic 
edited and introduced by Andrew W. Appel 
 - [Facsim. ed.] 
 - Princeton, N.J  Woodstock, England  Princeton University Press  2012 
 - xv, 142 p  ill., facsm  26 cm 
<br/><br/> Contine bibliogr 
<br/><br/><label>ISBN: </label>9780691155746 (hbk.) 0691155747 (hbk.) 
<br/><br/><label>LCCN: </label>2012931772 
<br/><br/><label>Subjects--Personal Names: </label><br/>Turing, Alan Mathison 1912-1954 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3