Reset Filters
Branch: 上海图书馆享借中心

Cover is for reference only

Mathematical logic /

Saved in:
Bibliographic Details
Main Authors: Turing, Alan Mathison, 1912-1954. (Author)
Corporate Authors: Elsevier Science & Technology.
Group Author: Gandy, R. O. (Robin O.) (Editor)
Published: Elsevier Science,
Publisher Address: Amsterdam :
Publication Dates: 2001.
Literature type: eBook
Language: English
Series: Collected works of A.M. Turing
Subjects:
Logic, Symbolic and mathematical.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Lambda-calculus.
Typentheorie.
Automatentheorie.
Geheimschrift.
Programmeren (computers)
Berekenbaarheid.
Electronic books.
Online Access: http://www.sciencedirect.com/science/book/9780444504234
Carrier Form: 1 online resource (xii, 293 pages) : illustrations.
Bibliography: Includes bibliographical references (pages 281-287).
ISBN: 9780444504234
0444504230
9780080535920
0080535925
Index Number: QA9
CLC: O141
Contents: Cover -- Contents -- Preface -- Alan Mathison Turing -- Chronology -- Preface to this volume -- Part I: Computability and Ordinal Logics -- Chapter 1. Historical Introduction (Solomon Feferman) -- Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem -- Chapter 3. 1937 Computability and?-definability. 1937 The p-function in? -- K Conversion -- Chapter 4. 1938 Systems of Logic based on Ordinals -- Part II: Type Theory -- Chapter 5. General Introduction to Turing's work on Type Theory -- Published papers -- Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types -- Chapter 7. 1942 The Use of Dots as Brackets in Church's System -- Chapter 8. 1948 Practical Forms of Type Theory -- Unpublished papers -- Chapter 9. 1941 Some Theorems about Church's System -- Chapter 10. 1943-4 Practical Forms of Type Theory II -- Chapter 11. 1944-5 The Reform of Mathematical Notation -- Part III: Enigmas, Mysteries and Loose Ends -- Chapter 12. Turing's Treatise on the Enigma -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript -- Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges) -- Chapter 17. Letter from Robin Gandy to Max Newman -- Chapter 18. Royal Society Memoir -- Bibliography -- Lists of contents of other volumes -- Appendix: matters arising from other volumes -- Last Page.

Related Book Recommendations