|
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"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/906953805>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/d4a12b18ba97a3a42360df4a9429d94c>
|
|
http://purl.org/dc/terms#issued
|
"2001"
|
|
schema:about
|
Turing, Alan Mathison (1912-1954)
|
|
Type theory
|
|
Calculability
|
|
Cryptografie
|
|
<http://data.bibliotheken.nl/id/thes/p077601874>
|
|
Lambda-calculus
|
|
wiskundige logica
|
|
Programmeren (computers)
|
|
Automatentheorie
|
|
schema:associatedMedia
|
<http://www.sciencedirect.com/science/book/9780444504234>
|
|
<http://www.myilibrary.com?id=104836>
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
Collected works of A.M. Turing
|
|
schema:isbn
|
"0444504230"
|
|
schema:numberOfPages
|
293
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/62d036202cb360da0f25630ce2a8bd30>
|