Exemplaires

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	38434	1016355	GALERIE

Sous-titre : proof theory and applications

ISBN10 : 90-6196-207-2

Type de doc : M

Ville d'édition : Amsterdam

Pays d'édition : nl

Langue ouvrage : eng

Collection : Mathematical centre tracts

N° dans la collection : 131

Bibliographie : Bibliogr. p. 109-112

Class. Math. 1991 : 03Fxx

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