Mathematical Logic

Content: 
Acknowledgements, Page VI
Preface, Page VII, P.N. Furbank
Alan Mathison Turing — Chronology, Page VIII
Preface to This Volume, Pages IX-X, Mike Yates
Historical Introduction, Pages 3-8, Solomon Feferman
- On computable numbers, with an application to the Entscheidungsproblem (Proc. Lond. Math. Soc., series 2 vol. 42 (1937), pp. 230–265) — A correction (ibid. vol. 43 (1937), p. 544–546), Pages 9-56, A.M. Turing
- Computability and λ-definability (J. Symb. Log. vol. 2 (1937), p. 153–163) The p-function in λ-K conversion (J. Symb. Log. vol. 2 (1937), p. 164), Pages 57-70, A.M. Turing
- Systems of logic based on ordinals (Proc. Lond. Math. Soc., series 2 vol. 45 (1939), pp. 161–228), Pages 71-148, A.M. Turing
General Introduction to Turing\'s work on Type Theory, Pages 151-154
Chapter 4 - A Formal Theorem for Church\'s Theory of Types (with M.H.A. Newman, J. Symbolic Logic, vol. 7 (1942), pp. 28–33), Pages 155-163, M.H.A. Newman, A.M. Turing
- The use of dots as brackets in Church\'s system (J. Symbolic Logic, vol. 7 (1942), pp. 146–156), Pages 165-178, A.M. Turing
- Practical Forms of Type Theory (J. Symbolic Logic, vol. 13 (1948), pp. 80–94), Pages 179-200, A.M. Turing
Chapter 7 - Some theorems about Church\'s system (Three unpublished manuscripts), Pages 201-205
- A Practical Form of Type Theory II: (Unpublished manuscript of 81 unnumbered pages of typescript together with 22 manuscript pages inserted in various places.), Pages 207-209
- The Reform of Mathematical Notation and Phraseology: (unpublished manuscript ca. 1944), Pages 211-221, A.M. Turing
- Turing\'s Treatise on the Enigma, Pages 225-242, Andrew Hodges
Chapter 11 - Turing\'s Papers on Programming, Pages 243-254, Martin Campbell-Kelly
- Minimum Cost Sequential Analysis: (An unpublished manuscript located in King\'s College, Cambridge–comprising 6 typed pages, 7 handwritten pages and 3 figures), Pages 255-257
- The Nature of Turing and the Physical World: [A discussion of the letter written by Robin Gandy to Max Newman in June 1954 – the letter follows at the end of the discussion.], Pages 259-264, Andrew Hodges
- The letter written by Robin Gandy to Max Newman in June 1954, Pages 265-267, Robin Gandy
- Alan Mathison Turing, Pages 268-279, M.H.A. Newman
Bibliography, Pages 281-287
Contents of Other Volumes, Pages 289-291
Appendix - Matters Arising from Earlier Volumes, Page 293