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

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

著者: Georg Kreisel; Gaisi Takeuti
出版商: Warszawa : Państwowe Wydawn. Naukowe, 1974.
丛书: Dissertationes mathematicae = Rozprawy matematyczne, 118
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

主题
更多类似这样的

 

在图书馆查找

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

详细书目

文件类型:
所有的著者/提供者: Georg Kreisel; Gaisi Takeuti
OCLC号码: 1327058
注意: At head of title: Polska Akademia Nauk. Instytut Matematyczny.
描述: 55 pages ; 25 cm.
丛书名: Dissertationes mathematicae = Rozprawy matematyczne, 118
责任: G. Kreisel and G. Takeuti.

评论

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

标签

争取是第一个!
确认申请

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

链接数据


<http://www.worldcat.org/oclc/1327058>
library:oclcnum"1327058"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/1327058>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1002068>
rdf:typeschema:Intangible
schema:name"Logic, Symbolic and mathematical"@en
schema:name"Logic, Symbolic and mathematical."@en
schema:about
schema:contributor
schema:creator
schema:datePublished"1974"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2210419>
schema:inLanguage"en"
schema:name"Formally self-referential propositions for cut free classical analysis and related systems"@en
schema:publisher
schema:url

Content-negotiable representations

关闭窗口

请登入WorldCat 

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