| Shelfclass_id | 4.B.1 |
| Sortkey | LAMBEK, JOACHIM |
| Authors | Joachim Lambek, Philip J. Scott |
| Title | Introduction to Higher Order Categorical Logic |
| Publisher | Cambridge University Press |
| Year | 1986 |
| Languages | eng |
| Isbn | 0521246652, 0521356539 |
| Series | Cambridge studies in advanced mathematics |
| Volume | 7 |
| Issn | 0950-6330 |
| Description | (inb.) (hft.) 293 s |
| Record date | 20060713 |
| Udk | 510.6 |
| Location | Cambridge |
| Keywords | Logik, Categories (Mathematics), Mathematics |