Beispielbild für diese ISBN

Mathematical Logic, Volume 4 (Collected Works of A.M. Turing)

C.E.M. Yates; R.O. Gandy

Verlag: North Holland, 2001
ISBN 10: 0444504230 / ISBN 13: 9780444504234
Gebraucht / Anzahl: 1
Verkäufer Book Deals (Lewiston, NY, USA)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen
In den Warenkorb legen
Preis: EUR 315,25
Währung umrechnen
Versand: EUR 0,00
Innerhalb USA
Versandziele, Kosten & Dauer

Für später vormerken

Über dieses Buch

Bibliografische Details

Titel: Mathematical Logic, Volume 4 (Collected ...

Verlag: North Holland

Erscheinungsdatum: 2001

Zustand: Used


This Book is in Good Condition. Clean Copy With Light Amount of Wear. 100% Guaranteed. Summary: Preface.Alan Mathison Turing-Chronolgy.Preface to this volume.Part I Computability and Ordinal Logics.Historical Introduction (Solomon Feferman).1937 On Computable Numbers, with an Application to the Entscheidungsproblem (P.Lond.Math.Soc.(2)42,230-265).1937 A Correction(ibid:43,544-546).1937 Computability and lgr;-definability (J.Symb.Log.2 153-163).1937 The p-function in lgr;-K Conversion (J.Symb.Log.2,164).Preface.Turing texts.1938 Systems of Logic based on Ordinals (P.Lond.Math.Soc (2) 45,161-228).Preface(Solomon Feferman).Turing text.Part II Type Theory.General Introduction to Turing's work on Type Theory.Published Papers.1942 A Formal Theorem in Church's Theory of Types (with M.H.A.Newman). (J.Symb.Log.7).Preface.Turing-Newman text.1942 The Use of dots as Brackets in Church's System. (J.Symb.Log.7, 28-33).Preface.Turing text.1948 Practical Forms of Type Theory (J.Symb.Log.13, 80-94).Preface.Turing text.Unpublished papers.1941 Some Theorems about Church's System.1943-4 Practical Forms of Type Theory II.1944-5 The Reform of Mathematical Notation.Part III - Enigmas, Mysteries and Loose Ends.Turing's Treatise on the enigma.Preface (Andew Hodges).Excerpts from the "Enigma Paper".Turing's Papers on Programming.Preface (Martin Campbell-Kelly).Excerpts from original paper.Minimum Cost Sequential Analysis.Excerpt from unpublished manuscript.Commentary (Jack Good).The Nature of Turing and the Physical World(Andrew Hodges).Letter from Robin Gandy to Max Newman.Royal Society Memoir (Max Newman).Bibliography.Lists of contents of other volumes.Appendix:matters arising from other volumes. Buchnummer des Verkäufers ABE_book_usedgood_0444504230

Anbieter- & Zahlungsinformationen


Dieser Anbieter akzeptiert die folgenden Zahlungsarten:

  • American Express
  • Carte Bleue
  • EuroCard/MasterCard
  • Visa

[Im Angebot des Anbieters suchen]

[Alle Bücher des Anbieters anzeigen]

[Dem Anbieter eine Frage stellen]

Anbieter: Book Deals
Adresse: Lewiston, NY, USA

AbeBooks Verkäufer seit: 7. Mai 2014
Bewertung: 4 Sterne


We guarantee the condition of every book as it's described on the AbeBooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind
about a book that you've ordered, please use the Ask bookseller a question link
to contact us and we'll respond within 2 business days.


Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.