跳到内容
Formally self-referential propositions for cut free classical analysis and related system 预览资料
关闭预览资料
正在查...

Formally self-referential propositions for cut free classical analysis and related system

著者: G Kreisel; G Takeuti
出版商: Warzawa Państwowe Wydawnistwo Naukowe 1974
丛书: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
版本/格式:   Print book : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

 

在图书馆查找

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

详细书目

文件类型:
所有的著者/提供者: G Kreisel; G Takeuti
OCLC号码: 246216180
描述: 55 S
丛书名: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
责任: G. Kreisel; G. Takeuti

评论

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

标签

争取是第一个!
确认申请

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

链接数据


<http://www.worldcat.org/oclc/246216180>
library:oclcnum"246216180"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:author
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:isPartOf
schema:name"Formally self-referential propositions for cut free classical analysis and related system"
schema:publication
schema:publisher
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

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