Acknowledgements.- Contributors.- Jean van Heijenoort(1912-1986).- Introduction.- The Problem of Elimination in the Algebra of Logic.- Peirce and the Law of Distribution.- The First Russell Paradox.- Principia Mathematica and the Development of Automated Theorem Proving.- Oswald Veblen and the origins of Mathematical Logic at Princeton.- The Löwenheim-Skolem Theorem, Theories of Quantifications, and Proof Theory.- The Reception of Gödel's Incompleteness Theorems.- Gödel's and Some Other Examples of problem Transmutation.- The Development of Löb's Theorem.- The Unintended Interpretation of Intuitionistic Logic.- The Writing of Introduction to Metamathematics.- In Haskell Brooks Curry.- The Work of J. Richard Büchi.- Index Nominum
"synopsis" may belong to another edition of this title.
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United Kingdom
1st edn 1st printing. 8vo. Original laminated printed boards (Fine), no dustwrapper. Pp. xxiii + 195 (previous owner's neat signature on front free endpaper). Seller Inventory # 186629
Quantity: 1 available
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Hardcover. Condition: Like New. First Edition. A nearly new hardback copy: firm, clean, square and tight with no underlining or splits. Not from a library so no such stamps or labels, just a former owner's bookplate at the endpaper. Seller Inventory # 062771
Quantity: 1 available
Seller: Nicoline Thieme, Leipzig, Germany
Condition: Sehr gut. 1. Aufl.;. Gr.8° 195 pages; Orig.-Pappband; 490g; [Englisch]; fine 1. Auflage; _ x2x_. BUCH. Seller Inventory # 79274
Quantity: 1 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75437643344445
Quantity: 1 available