Beweistheorie [monographie] |
| Auteur(s): | Schütte, Kurt (1909-1998) |
| Langue: | allemand |
| Collection: | Grundlehren der mathematischen Wissenschaften, n° 103 |
| Editeur, date d'édition: | Springer, 1960 |
| Ville(s) d'édition: | Berlin (DE), Göttingen (DE), Heidelberg (DE) |
| ISSN: | 0072-7830 |
| Classification MSC: | 02.00 |
| Notes: | x ; bibliogr. pp. 345-347 ; index pp. 350-355 ; 24 cm ; 355 p. |
| Thèmes: | theorie de la demonstration, proof theory |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 SCHU 60 | Disponible |