by B. Jacobs
Hardcover
ISBN: 978-0-444-50170-7
ISBN-10: 0-444-50170-3
Elsevier Science · 1999
|
|
by B. JacobsHardcover
ISBN: 978-0-444-50170-7 ISBN-10: 0-444-50170-3 Elsevier Science · 1999 |
| See also: | ||
| 2001 | Paperback | Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics (Volume 141)) |