Home » Browse the archive » AMT/B: Publications, lectures and talks » AMT/B/11

AMT/B/11

Off-print, 'Computability and λ-Definability' from The Journal of Symbolic Logic, (Vol. 2, Dec. 1937).

Paper, 1 item in envelope. Printed.

Keywords: 'Computability and lambda-definability'; Computable numbers

Provenance: This material was not included in either of the two earlier sections of the catalogue of Turing Papers prepared by the Contemporary Scientific Archives Centre in 1977 and 1985.

Copyright: Copyright © Association for Symbolic Logic 1937

  • 01

  • 01a

  • 01b

  • 01c

  • 01d

  • 01e

  • 01f

  • 01g

  • 01h

  • 01i

  • 01j

  • 01k

Back to AMT/B | Browse the archive | Back to the top

Copyright & terms of use | Contacts

Home

Turing Digital Archives