Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]
Omslag vermeldt als uitgever: North-Holland
| rdfs:label | "Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]" |
| schema:name | "Mathematical logic" |
| schema:author | Turing, Alan Mathison (1912-1954) |
| schema:contributor | Gandy, Robin Oliver (-1995) |
| schema:description | "Omslag vermeldt als uitgever: North-Holland" |
| "Oorspr. uitgave: 2001" | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"2008" |
| schema:about | Turing, Alan Mathison (1912-1954) |
| Type theory | |
| Calculability | |
| Cryptografie | |
| wiskundige logica | |
| Automatentheorie | |
| Lambda-calculus | |
|
<http:/ |
|
| Programmeren (computers) | |
|
schema:book |
schema:EBook |
|
schema:in |
"en" |
|
schema:is |
Collected works of A.M. Turing |
|
schema:number |
0 |
| schema:publication |
<https:/ |