Categorical Logic and Type Theory
Series: Studies in Logic and the Foundations of Mathematics; 141;
- Publisher's listprice EUR 108.00
-
42 184 Ft (40 176 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount % (cc. 0 Ft off)
- Discounted price 0 Ft (0 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
42 184 Ft
Availability
Out of print
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Elsevier Science
- Date of Publication 10 May 2001
- ISBN 9780444508539
- Binding Paperback
- No. of pages778 pages
- Size 233x155 mm
- Weight 1200 g
- Language English 0
Categories
Long description:
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.
MoreTable of Contents:
Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
More
