| King's/PP/AMT/B contains: |
|---|
| <-- See earlier |
|---|
| 18 |
'Rounding-off errors in matrix processes' |
| 19 |
'Computing machinery and intelligence' |
| 20 |
'Intelligent machinery, a heretical theory' |
| 21 |
'Some calculations of the Riemann zeta-function' |
| 22 |
'The chemical basis of morphogenesis' |
| 29 |
'A formal theorem in Church's theory of types' |
| 30 |
Two articles by A. G. D. Watson |
| 31 |
'The word problem in semi-groups with cancellation' |
| 32 |
Programmers' handbook for Manchester electronic computer |
| 33 |
'Theorie Der Elektrizität II : Elektromagnetische' |
| 34 |
Offprints of five articles by W. Ross Ashby |
| See later --> |
|---|
|
The Papers of Alan Mathison Turing
| Title |
'A formal theorem in Church's theory of types' |
| Reference |
AMT/B/29 |
| Creator |
Newman, M. H. A. and Turing, Alan Mathison |
| Covering Dates |
1942 |
| Extent and Medium |
1 item in envelope; paper |
|
| Content and context |
The file comprises an off-print of the article from 'Journal of Symbolic Logic', Vol. 7, No. 1, Mar. 1942. |
| No further on-line information. |
|
![[Home]](/images/logo.gif){kind=logo}
