跳到内容
Proof theory 预览资料
关闭预览资料
正在查...

Proof theory

著者: Gaisi Takeuti
出版商: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987
丛书: Studies in logic and the foundations of mathematics, vol. 81
版本/格式:   图书 : 英语 : 2. ed查看所有的版本和格式
数据库:WorldCat
评估:

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

主题
更多类似这样的

 

在图书馆查找

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

详细书目

文件类型:
所有的著者/提供者: Gaisi Takeuti
ISBN: 0444879439 9780444879431
OCLC号码: 476872494
注意: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
描述: 490 s. : ill.
丛书名: Studies in logic and the foundations of mathematics, vol. 81
责任: Gaisi Takeuti

评论

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

标签

争取是第一个!

相似资料

确认申请

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

链接数据


<http://www.worldcat.org/oclc/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"2. ed."
schema:contributor
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/2406532>
schema:inLanguage"en"
schema:isPartOf
schema:name"Proof theory"
schema:publication
<http://www.worldcat.org/title/-/oclc/476872494#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1987>
rdf:typeschema:PublicationEvent
schema:location
schema:location
schema:location
schema:organizer
schema:organizer
schema:startDate"1987"
schema:publisher
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

关闭窗口

请登入WorldCat 

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