| King's/PP/AMT/B contains: |
|---|
| <-- See earlier |
|---|
| 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' |
| 12 |
'On computable numbers, with an application to the Entscheidungsproblem' |
| 13 |
'Finite approximations to lie groups' |
| 14 |
'The extensions of a group' |
| 15 |
'Systems of logic based on ordinals' |
| See later --> |
|---|
![[Home]](/images/logo.gif){kind=logo}
