The Collected Papers of Gerhard Gentzen - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Elsevier

9780444534194

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

4. The Consistency of Elementary Number Theory

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

10.1016/s0049-237x(08)70823-1 ◽

1969 ◽

pp. 132-213 ◽

Keyword(s):

Number Theory ◽

Elementary Number Theory ◽

Elementary Number

Download Full-text

6. The Concept of Infinity in Mathematics

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

10.1016/s0049-237x(08)70825-5 ◽

1969 ◽

pp. 223-233

Download Full-text

2. On the Relation Between Intuitionist and Classical Arithmetic

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

10.1016/s0049-237x(08)70821-8 ◽

1969 ◽

pp. 53-67 ◽

Keyword(s):

Classical Arithmetic

Download Full-text

Bibliography

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

10.1016/s0049-237x(08)70816-4 ◽

1969 ◽

pp. vi

Download Full-text

Acknowledgments

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

10.1016/s0049-237x(08)70815-2 ◽

1969 ◽

pp. v

Download Full-text

Biographical Sketch

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

10.1016/s0049-237x(08)70817-6 ◽

1969 ◽

pp. vii-viii

Keyword(s):

Biographical Sketch

Download Full-text

Glossary

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

10.1016/s0049-237x(08)70831-0 ◽

1969 ◽

pp. 318-320

Download Full-text

5. The Consistency of the Simple Theory of Types

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

10.1016/s0049-237x(08)70824-3 ◽

1969 ◽

pp. 214-222

Keyword(s):

Download Full-text

Index of Symbols

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

10.1016/s0049-237x(08)70832-2 ◽

1969 ◽

pp. 321

Download Full-text

Edited by

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

10.1016/s0049-237x(08)70813-9 ◽

1969 ◽

pp. iii

Download Full-text