Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 5 votes.
Titre original :
Categorical Logic and Type Theory: Volume 141
Contenu du livre :
Ce livre tente de donner une présentation systématique de la logique et de la théorie des types d'un point de vue catégorique, en utilisant le concept unificateur de catégorie fibrée.
Il s'adresse aux logiciens, aux théoriciens des types, aux théoriciens des catégories et aux informaticiens (théoriciens).
Autres informations sur le livre :
| ISBN : | 9780444508539 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2001 |
| Nombre de pages : | 778 |
Achat:
Actuellement disponible, en stock.
