跳至内容
Proof theory : the first step into impredicativity 線上預覽
關閉線上預覽
正在查...

Proof theory : the first step into impredicativity

作者: Wolfram Pohlers
出版商: Berlin [u.a.] Springer 2009
叢書: Universitext
版本/格式:   圖書 : 英語所有版本和格式的總覽
資料庫:WorldCat
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

文件類型: 圖書
所有的作者/貢獻者: Wolfram Pohlers
ISBN: 9783540693185 3540693181 9783540693192 354069319X
OCLC系統控制編碼: 845360224
注意: Literaturverz. S. 357 - 361
描述: XIII, 370 S. graph. Darst. 235 mm x 155 mm
叢書名: Universitext
責任: Wolfram Pohlers
更多資訊:

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個

類似資料

確認申請

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

連結資料


<http://www.worldcat.org/oclc/845360224>
library:oclcnum"845360224"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/845360224>
rdf:typeschema:Book
schema:about
schema:creator
schema:datePublished"2009"
schema:exampleOfWork<http://worldcat.org/entity/work/id/866283287>
schema:inLanguage"en"
schema:name"Proof theory : the first step into impredicativity"
schema:publisher
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

關閉視窗

請登入WorldCat 

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