| King's/PP/AMT/B contains: |
|---|
| 1 |
'Lecture to L.M.S. [London Mathematical Society] Feb. 20 1947' |
| 2 |
D. R. Hartree's notes from a lecture |
| 3 |
'A practical form of type theory I.' |
| 4 |
'Intelligent machinery, a heretical theory' |
| 5 |
'Can digital computers think?' |
| 6 |
'Can automatic calculating machines be said to think?' |
| 7 |
'Digital computers applied to games' |
| 8 |
'Checking a large routine' |
| 9 |
'Computing machinery and intelligence' |
| 10 |
'Equivalence of left and right almost periodicity' |
| 11 |
'Computability and lambda-Definability' |
| See later --> |
|---|
![[Home]](/images/logo.gif){kind=logo}
