Congrès
Proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday
Diller, J. (Ed.) ; Müller, Gert Heinz (Ed.) ; Schütte, Kurt (Dédic.)
1975
viii, 383 p.
3-540-07533-X
M/A1(500)
démonstration ; mathématique constructive ; récurrence
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Dxx ; 03Fxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0500
Bibliographie : Notes bibliographiques
Nom du congrès : International summer institute and logic colloquium
Lieu du congrès : Kiel
Pays du congrès : Allemagne
Date du congrès : 1974
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(500) MAT014395 | [disponible] | YRéserver |