| Shelfclass_id | 3.D.4 |
| Sortkey | BARENDREGT, H. P |
| Authors | H. P. Barendregt |
| Title | The Lambda Calculus: Its Syntax and Semantics |
| Publisher | Elsevier |
| Edition | Rev. ed |
| Year | 2004 |
| Languages | eng |
| Isbn | 0444867481, 0444875085 |
| Series | Studies in logic and the foundations of mathematics |
| Volume | 103 |
| Description | (pbk.) xv, 621 p. ill. 23 cm |
| Record date | 20060630 |
| Location | New York, N.Y. |
| Keywords | Lambda calculus |
| Notes | Includes indexes |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0602/84005966-d.html |