Introduction to higher order categorical logic / J. Lambek, P.J. Scott.
| Author/creator | Lambek, Joachim |
| Other author | Scott, P. J. |
| Format | Book |
| Publication Info | Cambridge [Cambridgeshire] ; New York : Cambridge University Press, ©1986. |
| Description | ix, 293 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Cambridge studies in advanced mathematics ; 7 Cambridge studies in advanced mathematics 7. ^A664587 |
| General note | Includes indexes. |
| Bibliography note | Bibliography: p. [279]-288. |
| LCCN | 85005941 |
| ISBN | 0521246652 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA169 .L28 1986 | ✔ Available | Place Hold |