主畫面
|
輔助說明
|
重新查詢
|
English Mode
中研院圖書館首頁
SearchType
書名
作者
關鍵字
國際標準號碼(ISBN/ISSN)
主題
中國圖書分類號
美國國會圖書館分類號
十進分類號(杜威/何日章)
條碼
Search
Record:  
Prev
Next
作者
Curry, Haskell B. (Haskell Brooks), 1900-
書名
Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig
出版項
Amsterdam, North-Holland Pub. Co., 1958-72
國際標準書號
0720422086 (v. 2)
館藏地
索書號
處理狀態
OPAC 訊息
條碼
數學所圖書室
QA9.5 .C87
pt.1
在架上
30340200027088
數學所圖書室
QA9.5 .C87
pt.2
在架上
30340200088890
說明
2 v. 24 cm
系列
Studies in logic and the foundations of mathematics
附註
Vol. 2: imprint covered by label: Distributed in the U.S.A. by Humanities Press, New York
Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin
Includes bibliographies
主題
Combinatory logic
Record:  
Prev
Next
主畫面
|
輔助說明
|
English Mode