MARC 主機 00000nam  22000008a 4500 
001       94028188 
008    940616s1994    enk      b    000 0 eng   
010    94028188 
020    0198538413 :|c$45.00 
020    0198538405 (pbk.) :|c$22.50 (U.S.) 
040    DLC|cDLC|dAS|dIIS 
050 00 QA9.5|b.H36 1994 
082 00 511.3|220 
100 1  Hankin, Chris 
245 10 Lambda calculi :|ba guide for the perplexed /|cChris 
       Hankin 
250    1st ed 
260    Oxford [England] :|bClarendon Press ;|aNew York :|bOxford 
       University Press,|c1994 
300    xiii, 162 p. ;|c25 cm 
440  0 Graduate texts in computer science ;|v3 
650  0 Lambda calculus 
650  7 Mathematical logic|2iis 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 H241    在架上    30330000105929