Monographie
Introduction to higher order categorical logic
Lambek, Joachim ; Scott, P. J.
1986
ix, 293 p.
0-521-35653-9
LAMBEK i
algèbre homologique ; catégorie ; logique algébrique
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Gxx ; 18Bxx
Pays d'édition : Grande-Bretagne
Ville d'édition : Cambridge/New York/New Rochelle, New York
Langue : anglais
Format : 23 cm
Collection : Cambridge studies in advanced mathematics
N° de collection : 007
Bibliographie : Bibliogr. p. 279-288/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | LAMBEK i MAT008969 |
F 162.50 - OFFILIB [disponible] |
YRéserver |