Introduction to higher order categorical logic [monographie] |
| Auteur(s): | Lambek, Joachim (1922-2014) Scott P. J. |
| Langue: | anglais |
| Collection: | Cambridge studies in advanced mathematics |
| Editeur, date d'édition: | Cambridge University Press, 1986 |
| Ville(s) d'édition: | Cambridge (GB), London (GB), New York (US) |
| ISBN: | 0-521-24665-2 |
| Classification MSC: | 03B40 (2000) |
| Notes: | ix ; exercices ; bibliogr. pp. 279-288 ; index pp. 289-293 ; 23 cm ; 293 p. |
| Thèmes: | categories, category theory mathematics |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 12 LAM 86 | Disponible |