m
MathOuvrage

H 0 Introduction to higher order categorical logic

Lambek, Joachim ; Scott, P.J.

Cambridge university Press

1988

x-293

28482

catégorie


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 28482 1015120 GALERIE

ISBN10 : 0-521-35653-9

Type de doc : M

Ville d'édition : Cambridge

Langue ouvrage : eng

Collection : Cambridge studies in advanced mathematics

N° dans la collection : 007

ISSN Collection : 0950-6330

Class. Math. 1991 : 18-XX

Année du congres : 0

Lien SUDOC : https://www.sudoc.fr/020792085

Z