MARC 主機 00000nam  22000001  4500 
001    a  59001593 //r842 
008    841129m19581972ne       b    00010 eng   
010    a  59001593 //r842 
020    0720422086 (v. 2) 
040    DLC/ICU|cICU 
050 0  QA9.5|b.C87 
082 0  511/.3 
100 10 Curry, Haskell B.|q(Haskell Brooks),|d1900- 
245 10 Combinatory logic|c[by] Haskell B. Curry [and] Robert 
       Feys. With two sections by William Craig 
260 0  Amsterdam,|bNorth-Holland Pub. Co.,|c1958-72 
300    2 v.|c24 cm 
440  0 Studies in logic and the foundations of mathematics 
500    Vol. 2: imprint covered by label: Distributed in the 
       U.S.A. by Humanities Press, New York 
500    Vol. 2 by H.B. Curry, J.R. Hindley and J.P. Seldin 
504    Includes bibliographies 
650  0 Combinatory logic 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.5 .C87  pt.1    在架上    30340200027088
 數學所圖書室  QA9.5 .C87  pt.2    在架上    30340200088890