Téléchargez le livre : Categorical Logic and Type Theory

Categorical Logic and Type Theory



de

Éditeur :

Elsevier Science


Paru le : 1999-01-14



eBook Téléchargement ebook sans DRM
200,45 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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.
Pages
778 pages
Collection
n.c
Parution
1999-01-14
Marque
Elsevier Science
EAN papier
9780444501707
EAN PDF SANS DRM
9780080528700
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
200,45 €

Suggestions personnalisées