Studies in Logic and the Foundations of Mathematics | The Collected Papers of Gerhard Gentzen

select article Advisory Editorial Board
Full text access
Advisory Editorial Board
Page ii
View PDF
select article Edited by
Full text access
Edited by
Page iii
View PDF
select article Copyright page
No access
Copyright page
Page iv
select article Acknowledgments
No access
Acknowledgments
Page v
select article Bibliography
No access
Bibliography
Page vi
select article Biographical Sketch
No access
Biographical Sketch
Pages vii-viii
select article Introduction
Abstract only
Introduction
M.E.S.
Pages 1-23
select article Notes to the Introduction
No access
Notes to the Introduction
Pages 24-28
select article 1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems
Abstract only
1. On the Existence of Independent Axiom Systems for Infinite Sentence Systems
Pages 29-52
select article 2. On the Relation Between Intuitionist and Classical Arithmetic
Abstract only
2. On the Relation Between Intuitionist and Classical Arithmetic
Pages 53-67
select article 3. Investigations into Logical Deduction
Abstract only
3. Investigations into Logical Deduction
Pages 68-131
select article 4. The Consistency of Elementary Number Theory
Abstract only
4. The Consistency of Elementary Number Theory
Pages 132-213
select article 5. The Consistency of the Simple Theory of Types
Abstract only
5. The Consistency of the Simple Theory of Types
Pages 214-222
select article 6. The Concept of Infinity in Mathematics
Abstract only
6. The Concept of Infinity in Mathematics
Pages 223-233
select article 7. The Present State of Research into the Foundations of Mathematics
Abstract only
7. The Present State of Research into the Foundations of Mathematics
Pages 234-251
select article 8. New Version of the Consistency Proof for Elementary Number Theory
Abstract only
8. New Version of the Consistency Proof for Elementary Number Theory
Pages 252-286
select article 9. Provability and Nonprovability of Restricted Transfinite Induction in Elementary Number Theory
Abstract only
9. Provability and Nonprovability of Restricted Transfinite Induction in Elementary Number Theory
Pages 287-308
select article 10. Fusion of Several Complete Inductions
Abstract only
10. Fusion of Several Complete Inductions
Pages 309-311
select article Notes
No access
Notes
Pages 312-317
select article Glossary
No access
Glossary
Pages 318-320
select article Index of Symbols
Full text access
Index of Symbols
Page 321
View PDF
select article Index of Authors
Full text access
Index of Authors
Pages 322-323
View PDF
select article Index of Subjects
Full text access
Index of Subjects
Pages 324-338
View PDF

The Collected Papers of Gerhard Gentzen

Pages ii-viii, 1-338 (1969)

Actions for selected chapters