The Lambda Calculus : Its Syntax snd Semantics /
Barendregt, H. P
The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt - Amsterdam, Londra, New York North-Holland, American Elsevier 1985
Mathematical logic (Symbolic logic)
511.3
The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt - Amsterdam, Londra, New York North-Holland, American Elsevier 1985
Mathematical logic (Symbolic logic)
511.3