Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Full Title: | Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) |
---|---|
ISBN: | 0444501703 |
ISBN13: | 9780444501707 |
List Price: | USD $279.99 |
Authors: |
Jacobs, B. |
Related ISBNs