• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Categorical Logic and Type Theory: Volume 141

Categorical Logic and Type Theory: Volume 141

Paperback

Series: Studies in Logic and the Foundations of Mathematics, Book 141

AlgebraGeneral MathematicsGeneral Science

ISBN10: 0444508538
ISBN13: 9780444508539
Publisher: Elsevier Science
Published: May 10 2001
Pages: 778
Weight: 2.36
Height: 1.55 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Mathematics