Congrès
Theories of types and proofs
Takahashi, Masako (Ed.) ; Okada, Mitsuhiro (Ed.) ; Dezani-Ciancaglini, Mariangiola (Ed.)
1998
vii, 295 p.
4-931469-02-7
M/A35(2)
fondement des mathématiques ; logique
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-06 ; 03B15 ; 03B40 ; 03F05 ; 03F50 ; 57R56
Pays d'édition : Japon
Ville d'édition : Tokyo
Langue : anglais
Format : 25 cm
Collection : MSJ Memoirs : Mathematical Society of Japan
N° de collection : 002
Bibliographie : Notes bibliographiques
Nom du congrès : MSJ regional workshop on "Theories of types and proofs"
Lieu du congrès : Tokyo
Pays du congrès : Japon
Date du congrès : September 1997
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A35(2) MAT019099 |
€ 25.93 - Dawson France [disponible] |
YRéserver |