Letters/Copy letters

  • Reference
    • GB 133 TUR/Add/57
  • Dates of Creation
    • 9 Jan-7 Feb 1952
  • Physical Description
    • 3 items

Scope and Content

From Leon Henkin, 9 January 1952, asks for a review of Boone's paper; Turing replies to S C Kleene, who is now editor of the Journal of Symbolic Logic, says he sent his report to Henkin on 19 December, and asks him to confirm he has received this. In a letter of 7 February 1952, Kleene confirms the report has been received and apologises for the misunderstanding.

Related Material

See also TUR/Add/23, 48, 59, 74, 132