Categorical Logic and Type Theory

Main
Mathematics
Categorical Logic and Type Theory

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
ISBN: 9780444501707

Bart Jacobs

0 / 0

0 comments

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

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.

श्रेणियाँ:

Mathematics

साल:

1999

प्रकाशन:

Elsevier

भाषा:

english

पृष्ठ:

780

ISBN 10:

0444501703