Lambda calculus: its syntax and semantics Barendregt H P
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam North Holland 1984Description: xv,621p. cmSubject(s): DDC classification: - B:(R1), M1;M4
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) M1;M4 (Browse shelf(Opens below)) | Available | SL0841735 |
Includes bibliography
There are no comments on this title.
Log in to your account to post a comment.
