Isilc proof theory symposion / Diller, J. ; Muller, G. H.

Public ISBD Titre : Isilc proof theory symposion Type de document : texte imprimé Auteurs : Diller, J., Editeur scientifique ; Muller, G. H., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1975 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 500 Importance : VIII-383 ISBN/ISSN/EAN : 978-0-387-07533-4 Langues : Anglais Mots-clés : theorie de la demonstration Index. décimale : LNM Isilc proof theory symposion [texte imprimé] / Diller, J., Editeur scientifique ; Muller, G. H., Editeur scientifique . - [S.l.] : Springer-Verlag, 1975 . - VIII-383. - (Lecture Notes in Mathematics, ISSN 0075-8434; 500) . ISBN : 978-0-387-07533-4 Langues : Anglais Mots-clés : theorie de la demonstration Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7142	LNM/500	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1