přejít na obsah
Mathematical logic : Collected Works of A.M. Turing Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Mathematical logic : Collected Works of A.M. Turing

Autor Alan Mathison TuringC E M YatesR O GandyJack GoodAndew HodgesVšichni autoři
Vydavatel: Amsterdam : North-Holland, 2001.
Vydání/formát:   book_printbook : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Doplňující formát: 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
Typ dokumentu: Book
Všichni autoři/tvůrci: 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 číslo: 493436134
Popis: 1 vol. (xi-291 p.) : rel. cart.
Odpovědnost: 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.).

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.