Monographie
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Buchholz, Wilfried ; Feferman, Solomon ; Pohlers, Wolfram ; Sieg, Wilfried
1981
v, 383 p.
3-540-11170-0
M/A1(897)
démonstration ; ensemble ; mathématique constructive
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03E30 ; 03E70 ; 03F05 ; 03F15 ; 03F35
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Lecture notes in mathematics
N° de collection : 0897
Bibliographie : Bibliogr. p. 358-368/index
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(897) MAT014808 |
F 160.29 - OFFILIB [disponible] |
YRéserver |