LEADER 00000nam 2200229 a 4500
001 0444867481
007 t
008 051124s1984 ne a rb 001 eng
020 0444875085
020 0444867481
040 CURLLC
050 4 QA 9.5 B2
100 1 Barendregt, H. P.
245 14 The lambda calculus :|bits syntax and semantics.
250 Rev. ed.
260 Amsterdam :|bElsevier Science Pub. Co,|c1984.
300 [637p.]
440 0 Studies in logic and the foundations of mathematics ;
|vv.103
650 0 Lambda calculus.
|