m
     
Ouvrage

H 0 A transfinite type theory with type variables

Andrews, Peter B. (Principal)

North-Holland Publishing Co.

1965

143 p.

00004203

03B20 ; 03B25 ; 03B65 ; 03Cxx ; 03Dxx

logique mathématique

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : 23 cm ; Bibliogr. ; Index ; rel. ; xv

Collection : Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ANDR)

Notes : L2837 volume relié

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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