跳至内容
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的評論

標籤

成爲第一個

類似資料

相關主題:(2)

確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<http://www.worldcat.org/oclc/476872494>
library:oclcnum"476872494"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/476872494>
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:name"Proof theory"
schema:publisher
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.