A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur J. LAMBEK |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Introduction to higher order categorical logic / J. LAMBEK (Cop. 1986)
Titre : Introduction to higher order categorical logic Type de document : texte imprimé Auteurs : J. LAMBEK, Auteur ; P. J. SCOTT, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1986 Collection : Cambridge studies in advanced mathematics num. 7 Importance : X-293 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-521-35653-4 Langues : Anglais Catégories : 03G30 Mots-clés : algèbre homologique logique catégoriale d'ordre supérieur catégorie Note de contenu : index, bibliogr. Introduction to higher order categorical logic [texte imprimé] / J. LAMBEK, Auteur ; P. J. SCOTT, Auteur . - Cambridge : Cambridge University Press, Cop. 1986 . - X-293 p. : ill.. - (Cambridge studies in advanced mathematics; 7) .
ISBN : 978-0-521-35653-4
Langues : Anglais
Catégories : 03G30 Mots-clés : algèbre homologique logique catégoriale d'ordre supérieur catégorie Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13612 LAM/03/7427 Livre Recherche Salle Disponible