跳到内容
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
版本/格式:   图书 : 英语查看所有的版本和格式
数据库:WorldCat
评估:

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

 

在图书馆查找

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

详细书目

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

评论

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

标签

争取是第一个!
确认申请

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

关闭窗口

请登入WorldCat 

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