跳到内容
Proof theory : the first step into impredicativity 预览资料
关闭预览资料
正在查...

Proof theory : the first step into impredicativity

著者: Wolfram Pohlers
出版商: Berlin [u.a.] Springer 2009
丛书: Universitext
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

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

详细书目

材料类型: 互联网资源
文件类型: 书, 互联网资源
所有的著者/提供者: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
OCLC号码: 845360224
注意: Literaturverz. S. 357 - 361
描述: XIII, 370 S. graph. Darst. 235 x 155 mm
丛书名: Universitext
责任: Wolfram Pohlers
更多信息:

评论

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

标签

争取是第一个!

相似资料

确认申请

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

链接数据


Primary Entity

<http://www.worldcat.org/oclc/845360224> # Proof theory : the first step into impredicativity
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "845360224" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866283287#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Person/ordinalzahl> ; # Ordinalzahl
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/proof_theory> ; # Proof theory
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/rekursionstheorie> ; # Rekursionstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/866283287#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://dewey.info/class/510/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/866283287#Person/pohlers_wolfram> ; # Wolfram Pohlers
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866283287> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> ; # Universitext
   schema:name "Proof theory : the first step into impredicativity" ;
   schema:productID "845360224" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845360224#PublicationEvent/berlin_u_a_springer2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866283287#Agent/springer> ; # Springer
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540693185.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540693192> ;
   schema:workExample <http://worldcat.org/isbn/9783540693185> ;
   umbel:isLike <http://d-nb.info/989061868> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845360224> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866283287#Person/pohlers_wolfram> # Wolfram Pohlers
    a schema:Person ;
   schema:familyName "Pohlers" ;
   schema:givenName "Wolfram" ;
   schema:name "Wolfram Pohlers" ;
    .

<http://experiment.worldcat.org/entity/work/data/866283287#Series/universitext> # Universitext
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845360224> ; # Proof theory : the first step into impredicativity
   schema:name "Universitext" ;
    .

<http://worldcat.org/isbn/9783540693185>
    a schema:ProductModel ;
   schema:isbn "3540693181" ;
   schema:isbn "9783540693185" ;
    .

<http://worldcat.org/isbn/9783540693192>
    a schema:ProductModel ;
   schema:isbn "354069319X" ;
   schema:isbn "9783540693192" ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

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