- 572 p.
Cote : 00023644
logique # philosophie des mathématiques # logique d'ordre supérieur # théorie des types # logique combinatoire # logique catégorique # théorie des catégories # treillis # catégorie cartésienne fermée # limite # adjonction entre syntaxe et sémantique # catégorie syntaxique # récurrence structurelle
00A30 ; 03-02 ; 03B15 ; 03B40 ; 03G30 ; 18-02
Localisation : Ouvrage RdC (TAYL)