- Main
- Mathematics
- Categorical Logic and Type Theory
Categorical Logic and Type Theory
Bart JacobsAvez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
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.
Catégories:
Année:
1999
Editeur::
Elsevier
Langue:
english
Pages:
780
ISBN 10:
0444501703
ISBN 13:
9780444501707
Collection:
Studies in Logic and the Foundations of Mathematics 141
Fichier:
PDF, 27.06 MB
Vos balises:
IPFS:
CID , CID Blake2b
english, 1999
Lire en ligne
- Télécharger
- pdf 27.06 MB Current page
- Checking other formats...
Vous souhaitez ajouter une librairie ? Contactez-nous à support@z-lib.do
Le fichier sera envoyé à votre adresse de courriel dans 1 à 5 minutes.
Dans 1-5 minutes, le fichier sera delivré à votre compte Telegram.
Note : Assurez-vous que vous avez lié votre compte au bot Telegram de Z-Library.
Dans 1-5 minutes, le fichier sera delivré à votre appareil Kindle.
Remarque: vous devez valider chaque livre avant de l'envoyer à Kindle. Veuillez vérifier votre messagerie pour voir le mail avec la confirmation par Amazon Kindle Support.
La conversion en est effectuée
La conversion en a échoué
Avantages du statut Premium
- Envoyez aux e-lecteurs
- Limite de téléchargement augmentée
- Convertissez des fichiers
- Plus de résultats de recherche
- Autres avantages