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