Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.
Uniform Title: | Beweistheorie.
English Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 225. |
---|---|
Main Author: | |
Language: | English German |
Published: |
Berlin ; New York :
Springer-Verlag,
1977.
|
Series: | Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
Bd. 225. |
Subjects: | |
Physical Description: | xii, 302 pages ; 25 cm. |
Format: | Book |
Note: | Translation of Beweistheorie. Includes index. |
---|---|
Call Number: | QA9 .S3613 |
Bibliography Note: | Bibliography: pages [293]-296. |
ISBN: | 0387079114 |