儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-4 之 4)
Kahle, Reinhard, 1967-
1
book jacket

Advances in proof theory

[Cham] Switzerland : Birkhäuser, 2016
 
2016
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.54 A38 2016    在架上    30340200548091
2
book jacket

Intensionality

Wellesley, MA : A K Peters, 2005
 
2005
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.A1 I55 2005    在架上    30340200472300
3
book jacket

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001 (2001 : Dahgstuhl Castle)
Berlin ; New York : Springer, 2001
2001
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 P9654 2001  LNCS 2183    館內使用    30330000149448
4
book jacket

Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001 (2001 : Dahgstuhl Castle)
Berlin ; New York : Springer, c2001
c2001
電子書

館藏地: 數學所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄