跳到内容
Introduction to mathematical logic. 预览资料
关闭预览资料
正在查...

Introduction to mathematical logic.

著者: Elliott Mendelson
出版商: Princeton, N.J., Van Nostrand [1964]
丛书: University series in undergraduate mathematics.
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

主题
更多类似这样的

 

在线查找

在图书馆查找

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

详细书目

附加的形体格式: Online version:
Mendelson, Elliott.
Introduction to mathematical logic.
Princeton, N.J., Van Nostrand [1964]
(OCoLC)559492419
材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Elliott Mendelson
ISBN: 0442053002 9780442053000
OCLC号码: 259359
描述: x, 300 pages illustrations 24 cm.
丛书名: University series in undergraduate mathematics.
其他题名: Mathematical logic

评论

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

标签

所有的用户标签 (2)

查看最热门的标签,展示的形式是: 标签列表 | 标签云(tag cloud)

  • jds  (由 1 个人)
  • logic  (由 1 个人)

相似资料

相关主题:(9)

这资料的用户列表 (4)

确认申请

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

链接数据


Primary Entity

<http://www.worldcat.org/oclc/259359> # Introduction to mathematical logic.
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "259359" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/481876#Place/princeton_n_j> ; # Princeton, N.J.
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensembles> ; # THEORIE ENSEMBLES
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> ; # théorie nombre
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_proposition> ; # CALCUL PROPOSITION
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/axiomatique> ; # AXIOMATIQUE
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/quantification> ; # quantification
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/calculabilite> ; # calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://dewey.info/class/164/> ;
    schema:alternateName "Mathematical logic" ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/66512007> ; # Elliott Mendelson
    schema:datePublished "1964" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/481876> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/university_series_in_undergraduate_mathematics> ; # University series in undergraduate mathematics.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/the_university_series_in_undergraduate_mathematics> ; # The University series in undergraduate mathematics
    schema:isSimilarTo <http://www.worldcat.org/oclc/559492419> ;
    schema:name "Introduction to mathematical logic."@en ;
    schema:productID "259359" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/259359#PublicationEvent/princeton_n_j_van_nostrand1964> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/481876#Agent/van_nostrand> ; # Van Nostrand
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909782&custom%5Fatt%5F2=simple%5Fviewer> ;
    schema:workExample <http://worldcat.org/isbn/9780442053000> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/259359> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/481876#Agent/van_nostrand> # Van Nostrand
    a bgn:Agent ;
    schema:name "Van Nostrand" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Place/princeton_n_j> # Princeton, N.J.
    a schema:Place ;
    schema:name "Princeton, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/the_university_series_in_undergraduate_mathematics> # The University series in undergraduate mathematics
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/259359> ; # Introduction to mathematical logic.
    schema:name "The University series in undergraduate mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Series/university_series_in_undergraduate_mathematics> # University series in undergraduate mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/259359> ; # Introduction to mathematical logic.
    schema:name "University series in undergraduate mathematics." ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/calcul_proposition> # CALCUL PROPOSITION
    a schema:Intangible ;
    schema:name "CALCUL PROPOSITION"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/481876#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_ensembles> # THEORIE ENSEMBLES
    a schema:Intangible ;
    schema:name "THEORIE ENSEMBLES"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/481876#Topic/theorie_nombre> # théorie nombre
    a schema:Intangible ;
    schema:name "théorie nombre"@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/66512007> # Elliott Mendelson
    a schema:Person ;
    schema:familyName "Mendelson" ;
    schema:givenName "Elliott" ;
    schema:name "Elliott Mendelson" ;
    .

<http://worldcat.org/isbn/9780442053000>
    a schema:ProductModel ;
    schema:isbn "0442053002" ;
    schema:isbn "9780442053000" ;
    .

<http://www.worldcat.org/oclc/559492419>
    a schema:CreativeWork ;
    rdfs:label "Introduction to mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/259359> ; # Introduction to mathematical logic.
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

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