doorgaan naar inhoud
Mathematical logic : Collected Works of A.M. Turing Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Mathematical logic : Collected Works of A.M. Turing

Auteur: Alan Mathison TuringC E M YatesR O GandyJack GoodAndew HodgesAlle auteurs
Uitgever: Amsterdam : North-Holland, 2001.
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Aanvullende fysieke materiaalsoort: Mathematical logic : Collected Works of A.M. Turing / R.O. Gandy, C.E.M. Yates, Solomon Feferman,...[et al.]
Amsterdam : Elsevier, cop. 2001
978-0-444-50423-4
(ABES)18393928X
Soort document: Boek
Alle auteurs / medewerkers: Alan Mathison Turing; C E M Yates; R O Gandy; Jack Good; Andew Hodges; Solomon Feferman; Martin préf Campbell-Kelly
ISBN: 0444504230 9780444504234
OCLC-nummer: 493436134
Beschrijving: 1 vol. (xi-291 p.) : rel. cart.
Verantwoordelijkheid: Jack Good, Andew Hodges, Solomon Feferman (Préf.) ; C.E.M. Yates, R.O. Gandy (Ed.) ; A.M. Turing ; Martin préf. Campbell-Kelly (Préf.).

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/493436134> # Mathematical logic Collected Works of A.M. Turing
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "493436134" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/machine_de_thuring> ; # Machine de Thuring
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/oeuvres> ; # Oeuvres
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/calculabilite> ; # Calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/informatique_theorique> ; # Informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/histoire> ; # Histoire
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/calcul> ; # Calcul
    schema:author <http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> ; # Alan Mathison Turing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/feferman_solomon> ; # Solomon Feferman
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/hodges_andew> ; # Andew Hodges
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/campbell_kelly_martin_pref> ; # Martin préf Campbell-Kelly
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/good_jack> ; # Jack Good
    schema:datePublished "2001" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/1016937#Person/yates_c_e_m> ; # CEM Yates
    schema:editor <http://experiment.worldcat.org/entity/work/data/1016937#Person/gandy_r_o> ; # RO Gandy
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1016937#CreativeWork/mathematical_logic_collected_works_of_a_m_turing_r_o_gandy_c_e_m_yates_solomon_feferman_et_al> ;
    schema:name "Mathematical logic Collected Works of A.M. Turing" ;
    schema:productID "493436134" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/493436134#PublicationEvent/amsterdam_north_holland_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> ; # North-Holland
    schema:workExample <http://worldcat.org/isbn/9780444504234> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/493436134> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/campbell_kelly_martin_pref> # Martin préf Campbell-Kelly
    a schema:Person ;
    schema:familyName "Campbell-Kelly" ;
    schema:givenName "Martin préf." ;
    schema:name "Martin préf Campbell-Kelly" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/feferman_solomon> # Solomon Feferman
    a schema:Person ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/gandy_r_o> # RO Gandy
    a schema:Person ;
    schema:givenName "Gandy, R.O." ;
    schema:name "RO Gandy" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/good_jack> # Jack Good
    a schema:Person ;
    schema:familyName "Good" ;
    schema:givenName "Jack" ;
    schema:name "Jack Good" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/hodges_andew> # Andew Hodges
    a schema:Person ;
    schema:familyName "Hodges" ;
    schema:givenName "Andew" ;
    schema:name "Andew Hodges" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> # Alan Mathison Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan Mathison" ;
    schema:name "Alan Mathison Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/yates_c_e_m> # CEM Yates
    a schema:Person ;
    schema:givenName "Yates, C.E.M." ;
    schema:name "CEM Yates" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/machine_de_thuring> # Machine de Thuring
    a schema:Intangible ;
    schema:name "Machine de Thuring" ;
    .

<http://worldcat.org/entity/work/data/1016937#CreativeWork/mathematical_logic_collected_works_of_a_m_turing_r_o_gandy_c_e_m_yates_solomon_feferman_et_al>
    a schema:CreativeWork ;
    rdfs:label "Mathematical logic : Collected Works of A.M. Turing / R.O. Gandy, C.E.M. Yates, Solomon Feferman,...[et al.]" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/493436134> ; # Mathematical logic Collected Works of A.M. Turing
    .

<http://worldcat.org/isbn/9780444504234>
    a schema:ProductModel ;
    schema:isbn "0444504230" ;
    schema:isbn "9780444504234" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.