| King's/PP/AMT/C contains: |
| 1 |
'The difference psi (x) - x' |
| 2 |
'Zeta function machine' |
| 3 |
'Some theorems about Church's system' |
| 4 |
Untitled paper beginning 'ยง5. Consequences of the Peano axioms' |
| 5 |
Untitled paper beginning '9. Finite models of Church's and Zermelo's systems' |
| 6 |
'A practical form of type theory II' |
| 7 |
'A diffusion reaction theory of morphogenesis in plants' |
| 8 |
'Morphogen theory of phyllotaxis. Part I. Geometrical and descriptive phyllotaxis.' |
| 9 |
'Part II. Chemical theory of morphogenesis' |
| 10 |
'Part III. A solution of the morphogenetical equations for the case of spherical symmetry' |
| 11 |
'Intelligent machinery' |
| See later --> |