Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics - Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) - Books - Elsevier Science & Technology - 9780444508539 - May 10, 2001
In case cover and title do not match, the title is correct

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands)

Price
DKK 976.08

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Categorical Logic and Type Theory - Studies in Logic and the Foundations of Mathematics

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

780 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 10, 2001
ISBN13 9780444508539
Publishers Elsevier Science & Technology
Pages 778
Dimensions 167 × 242 × 46 mm   ·   1.24 kg

See all of Jacobs, B. (Computing Science Institute, University of Nijmegen, The Netherlands) ( e.g. Paperback Book )