儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Bimbó, Katalin, 1963-
1
book jacket

Combinatory logic pure, applied and typed
Bimbó, Katalin, 1963-
Boca Raton, FL : CRC Press, c2011
c2011
電子書

館藏地: 中央研究院
2
book jacket

Generalized Galois logics : relational semantics of nonclassical logical calculi
Bimbó, Katalin, 1963-
Stanford, Calif. : CSL Publications, c2008
c2008
紙本資料

館藏地: 人文社會聯圖
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 人文社會聯圖  QA9.4 .B56 2008    在架上    30630020024483
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄