跳到内容
Mathematical logic 预览资料
关闭预览资料
正在查...

Mathematical logic

著者: Alan Mathison Turing; R O Gandy; C E M Yates
出版商: Amsterdam ; New York : Elsevier Science, 2001.
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Alan Mathison Turing; R O Gandy; C E M Yates
ISBN: 0444504230 9780444504234
OCLC号码: 46472153
描述: xii, 293 pages : illustrations ; 25 cm.
内容: Ch. 1. The Nature of Mathematical Logic --
Ch. 2. First-Order Theories --
Ch. 3. Theorems in First-Order Theories --
Ch. 4. The Characterization Problem --
Ch. 5. The Theory of Models --
Ch. 6. Incompleteness and Undecidability --
Ch. 7. Recursion Theory --
Ch. 8. The Natural Numbers --
Ch. 9. Set Theory --
App. The Word Problem.
责任: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


Primary Entity

<http://www.worldcat.org/oclc/46472153> # Mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "46472153" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> ; # Programmeren (computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/enigma_chiffriermaschine> ; # Enigma
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/lambda_calculus> ; # Lambda-calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/berekenbaarheid> ; # Berekenbaarheid
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/geheimschrift> ; # Geheimschrift
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/typentheorie> ; # Typentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> ; # Automatentheorie
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
    schema:contributor <http://viaf.org/viaf/27990233> ; # C. E. M. Yates
    schema:creator <http://viaf.org/viaf/41887917> ; # Alan Mathison Turing
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/works> ; # Works.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> ; # Collected works of A.M. Turing
    schema:name "Mathematical logic"@en ;
    schema:productID "46472153" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/46472153#PublicationEvent/amsterdam_new_york_elsevier_science_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> ; # Elsevier Science
    schema:url <http://www.myilibrary.com?id=104836> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444504234> ;
    schema:workExample <http://worldcat.org/isbn/9780444504234> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA204145> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/46472153> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
    schema:name "Elsevier Science" ;
    .

<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#Series/collected_works_of_a_m_turing> # Collected works of A.M. Turing
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/46472153> ; # Mathematical logic
    schema:name "Collected works of A.M. Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
    schema:name "Programmeren (computers)"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/234217153> # Robin O. Gandy
    a schema:Person ;
    schema:familyName "Gandy" ;
    schema:givenName "Robin O." ;
    schema:givenName "R. O." ;
    schema:name "Robin O. Gandy" ;
    .

<http://viaf.org/viaf/27990233> # C. E. M. Yates
    a schema:Person ;
    schema:familyName "Yates" ;
    schema:givenName "C. E. M." ;
    schema:name "C. E. M. Yates" ;
    .

<http://viaf.org/viaf/41887917> # 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://worldcat.org/isbn/9780444504234>
    a schema:ProductModel ;
    schema:isbn "0444504230" ;
    schema:isbn "9780444504234" ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.