The lambda calculus : its syntax and semantics / H.P. Barendregt.
| Author/creator | Barendregt, H. P. |
| Format | Book |
| Edition | Rev. ed. |
| Publication Info | Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984. |
| Description | xv, 621 pages : illustrations ; 23 cm. |
| Supplemental Content | Publisher description |
| Supplemental Content | Table of contents |
| Supplemental Content | Table of contents |
| Subjects |
| Series | Studies in logic and the foundations of mathematics ; v. 103 Studies in logic and the foundations of mathematics ; v. 103. ^A16526 |
| Contents | TOWARDS THE THEORY -- CONVERSION -- REDUCTION -- THEORIES -- MODELS. |
| Local note | Joyner-- Replacement copy for 1981 edition of this title. |
| General note | Includes indexes. |
| Bibliography note | Includes bibliographical references (pages 585-598). |
| Issued in other form | Online version: Barendregt, H.P. (Hendrik Pieter). Lambda calculus. Rev. ed. Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 |
| LCCN | 84005966 |
| ISBN | 0444867481 |
| ISBN | 9780444867483 |
| ISBN | 0444875085 (pbk.) |
| ISBN | 9780444875082 (pbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.5 .B36 1984 | ✔ Available | Place Hold |