IRMA - Models and sets part 1

Bibliothèques de mathématique et de l'IREM

Editeur : Springer

Date de parution : 1984

Nbre/N° de page : viii, 484

Inventaire : 21671

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	21671	1024827	PROC 03C MOD

ISBN10 : 3-540-13900-1

Notes : Part 2 = 21670
Part 2 = 21670

Type de doc : C

Ville d'édition : Berlin

Langue ouvrage : eng

N° dans la collection : 1103

ISSN Collection : 0075-8434

Class. Math. 1991 : 03Cxx ; 03Exx ; 03Gxx ; 03Hxx

Nom congres : Logic colloquium

Ville du congrès : Aachen

Pays congres : de

Année du congres : 1983

[MathCongrès] Computation and proof theory. Part II / Ed. Richter, Michael M. ; Ed. Börger, Egon ; Ed. Oberschelp, Walter ; Ed. Schinzel, Brigitta ; Ed. Thomas, W.. -Berlin : Springer, 1984. - viii, 475
https://doi.org/10.1007/BFb0099476

Z