Record:   Prev Next
作者 Rezus, A.
書名 A Bibliography of lambda-calculi, Combinatory logics and related topics / A. Rezus
出版項 Amsterdam : Mathematishc Centrum , 1982
國際標準書號 906196234x
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA5 R4    在架上    30340200166886
Record:   Prev Next