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)
book jacket
館藏地 索書號 處理狀態 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