跳至内容
Mathematical logic : Collected Works of A.M. Turing 線上預覽
關閉線上預覽
正在查...

Mathematical logic : Collected Works of A.M. Turing

作者: Alan Mathison TuringC E M YatesR O GandyJack GoodAndew Hodges所有作者
出版商: Amsterdam : North-Holland, 2001.
版本/格式:   Print book : 英語所有版本和格式的總覽
資料庫:WorldCat
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

其他的實體格式: 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
文件類型: 圖書
所有的作者/貢獻者: 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系統控制編碼: 493436134
描述: 1 vol. (xi-291 p.) : rel. cart.
責任: 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.).

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


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

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.