by: J. Lambek · P. J. Scott
Hardcover
ISBN: 978-0-521-24665-1
ISBN-10: 0-521-24665-2
Cambridge University Press · 1986
|
|
by: J. Lambek · P. J. ScottHardcover
ISBN: 978-0-521-24665-1 ISBN-10: 0-521-24665-2 Cambridge University Press · 1986 |
| See also: | ||
| 1988 | Paperback | Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) |