Browse the Turing Digital Archive

Contents of AMT/B/16 (up to B)

Off-print, ‘The use of dots as brackets in Church’s system’ from The Journal of Symbolic Logic, (Vol. 7, No. 4, Dec. 1942).

Paper, 1 item in envelope. Printed.

Keywords: Church’s system; ‘The use of dots as brackets in Church’s system’

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 1942


1

2

3

4

5

6

7

8

9

10

11

Copyright © University of Southampton and King's College Cambridge 2002,2003 — Terms of Use