Exemplaires

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	39892	1020721	PROC 68Q THE

ISBN10 : 4-931469-02-7

Type de doc : C

Ville d'édition : Tokyo

Pays d'édition : jp

Langue ouvrage : eng

Collection : MSJ memoirs

N° dans la collection : 2

Bibliographie : Notes bibliogr.

Class. Math. 1991 : 03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05 ; 68Q55

Nom congres : MSJ regional workshop on theories of types and proofs

Ville du congrès : Tokyo

Pays congres : jp

Année du congres : 1997

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