Alan Turing's Systems of Logic: The Princeton Thesis by Andrew W. Appel (English
79,48 €
The book also features essays by Andrew Appel and Solomon Feferman that explain the still-unfolding significance of the ideas Turing developed at Princeton. Preface ix The Birth of Computer Science at Princeton in the 1930s Andrew W. Appel 1 Turing's Thesis Solomon Feferman 13 Notes on the Manuscript 27 Systems of Logic Based on Ordinals Alan Turing 31 A Remarkable Bibliography 141 Contributors 143.
Jetzt bei Ebay: