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

Paper, 1 item in envelope. Printed.

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

Please read the terms of use if you wish to download the PDF file below