m

F Nous contacter

0
     
Ouvrage

H 0 Introduction to higher order categorical logic

Lambek, J. (Principal) ; Scott, P. J. (Co-auteur)

Cambridge University Press

1986

293 p.

978-0-521-24665-1

00010818

03B15 ; 03B40 ; 03C35

catégorie # logique # logique mathématiques

Ville d'édition : Cambridge

Langue : Anglais

EAN13 : 9780521246651

ISBN : 0-521-24665-2

Collation : Bibliogr. ; Index ; ix#23 cm#rel.

Collection : Cambridge studies in advanced mathematics

N° de collection : 0007

Localisation : Ouvrage RdC (LAMB)

Notes : Published for the eidgenossische hochschule zurich

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00010818 [disponible]
Z