| Author | B. Jacobs |
| Format | Paperback |
| ISBN | 9780444508539 |
| Publisher | Elsevier Science |
| Manufacturer | Elsevier Science |
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.