| King's/PP/AMT/B contains: |
| <-- See earlier |
| 15 |
'Systems of logic based on ordinals' |
| 16 |
'The use of dots as brackets in Church's system' |
| 17 |
'A method for the calculation of the zeta-function' |
| 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' |
| See later --> |