by B. Jacobs
Paperback
ISBN: 978-0-444-50853-9
ISBN-10: 0-444-50853-8
Elsevier Science · 2001
|
|
by B. JacobsPaperback
ISBN: 978-0-444-50853-9 ISBN-10: 0-444-50853-8 Elsevier Science · 2001 |
| See also: | ||
| 1999 | Hardcover | Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) |