-
RecordNumber
4941
-
Author
Barendregt, Hendrik Pieter
-
Title
The lambda calculus; its syntax and semantics
-
Author Statement
H. P. Barendregt
-
Edition
rev. ed
-
Publication
Aumsterdam North Holland [c 1984]
-
Publication Year
xv, 621 p
-
Collation
Studies in logic and the foundations of mathematics; 103
-
Bibliography
Bibliography: p. 385- 598
-
Subject
Lambda Calculus
-
ADDED ENTRIES
TI , AU ^dSeries: Studies in logic and the foundations of mathematics; 103
-
Main Class
511
-
Sub Class
.3
-
Cutter no
B248l
-
Date
1984
-
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/07/23 12:00:29
-
Link To Document :
