儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
國際標準號碼(ISBN/ISSN) (1-8 之 8)
0049-237X ;
1
book jacket

Lectures on the Curry-Howard isomorphism
Sorensen, Morten Heine
Boston, MA : Elsevier, 2007
2007
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.54 .S67 2007    在架上    30340200478893
2
 

Lectures on the Curry-Howard isomorphism
Sørensen, Morten Heine
Amsterdam ; Boston [MA] : Elsevier, 2006
2006
電子書

館藏地: 資訊服務處圖書館
3
book jacket

Many-dimensional modal logics : theory and applications

Amsterdam ; Boston : Elsevier North Holland, 2003
 
2003
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  BC199.M6 M37 2003    在架上    30340200448920
 資訊所圖書室圖書區  I2.3 M295    到期 03-16-20    30330000181169
4
book jacket

Quantification in nonclassical logic
Gabbay, Dov M., 1945-
Amsterdam ; London : Elsevier, 2009-
 
2009-
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.4 G222 2009  v.1    在架上    30340200500712
 數學所圖書室  QA9.4 G222 2009  v.1 c.2  在架上    30340200502502
5
book jacket

Relation algebras
Maddux, R. D
Amsterdam ; Boston : Elsevier, 2006
 
2006
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA10 .M33 2006    在架上    30340200476558
 資訊所圖書室圖書區  F4.0 M179    在架上    30330000186077
6
book jacket

Relation algebras by games
Hirsch, R. (Robin)
Amsterdam ; Boston : North Holland, 2002
 
2002
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA10 .H57 2002    在架上    30340200432361
7
book jacket

Residuated lattices : an algebraic glimpse at substructural logics

Amsterdam ; Boston : Elsevier, c2007
 
c2007
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA10 .R47 2007    在架上    30340200483950
8
 

Residuated lattices an algebraic glimpse at substructural logics

Amsterdam ; Boston : Elsevier, 2007
2007
電子書

館藏地: 資訊服務處圖書館
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄