Alan Turing's systems of logic the Princeton thesis
Turing, Alan Mathison
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
Contine bibliogr
9780691155746 (hbk.) 0691155747 (hbk.)
2012931772
Turing, Alan Mathison 1912-1954
Logic, Symbolic and mathematical
511.3
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
Contine bibliogr
9780691155746 (hbk.) 0691155747 (hbk.)
2012931772
Turing, Alan Mathison 1912-1954
Logic, Symbolic and mathematical
511.3