Record:   Prev Next
作者 Barendregt, H. P. (Hendrik Pieter)
書名 The lambda calculus : its syntax and semantics / H.P. Barendregt
出版項 Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984
國際標準書號 0444867481
0444875085 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.5 .B36 1984    在架上    30340200175952
 資訊所圖書室圖書區  F4.1 B248 1984    在架上    30330000041090
版本 Rev. ed
說明 xv, 621 p. : ill. ; 23 cm
系列 Studies in logic and the foundations of mathematics ; v. 103
附註 Bibliography: p. 585-598
Includes indexes
主題 Lambda calculus
Record:   Prev Next