Proof theory
Schütte, Kurt ; Crossley, J. N. (Trad.)
1977
xii, 302 p.
3-540-07911-4
SCHUTTE p
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03-XX ; 03Fxx
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 25 cm
Collection : Die Grundlehren der mathematischen Wissenschaften
N° de collection : 225
Bibliographie : Bibliogr. p. 293-296/index
Titre original : Beweistheorie
Langue originale : allemand
N° | Cote / Code barre | Localisation | Commentaire | |
---|---|---|---|---|
1 | SCHUTTE p MAT011877 | [disponible] | YRéserver |