27 results
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 168-186
- Print publication:
- June 2021
-
- Article
- Export citation
Contents
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp vii-viii
-
- Chapter
- Export citation
PREFACE
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp ix-xiv
-
- Chapter
- Export citation
Part 2 - Provable recursion in classical systems
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 147-148
-
- Chapter
- Export citation
CHAPTER 7 - EXTRACTING COMPUTATIONAL CONTENT FROM PROOFS
- from Part 3 - Constructive logic and complexity
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 313-394
-
- Chapter
- Export citation
Part 1 - Basic proof theory and computability
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 3-4
-
- Chapter
- Export citation
CHAPTER 5 - ACCESSIBLE RECURSIVE FUNCTIONS, ID<ω AND Π-CA0
- from Part 2 - Provable recursion in classical systems
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 195-246
-
- Chapter
- Export citation
INDEX
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 457-465
-
- Chapter
- Export citation
Part 3 - Constructive logic and complexity
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 247-248
-
- Chapter
- Export citation
CHAPTER 1 - LOGIC
- from Part 1 - Basic proof theory and computability
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 5-60
-
- Chapter
- Export citation
CHAPTER 2 - RECURSION THEORY
- from Part 1 - Basic proof theory and computability
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 61-112
-
- Chapter
- Export citation
CHAPTER 8 - LINEAR TWO-SORTED ARITHMETIC
- from Part 3 - Constructive logic and complexity
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 395-430
-
- Chapter
- Export citation
CHAPTER 6 - COMPUTABILITY IN HIGHER TYPES
- from Part 3 - Constructive logic and complexity
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 249-312
-
- Chapter
- Export citation
CHAPTER 4 - THE PROVABLY RECURSIVE FUNCTIONS OF ARITHMETIC
- from Part 2 - Provable recursion in classical systems
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 149-194
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp i-vi
-
- Chapter
- Export citation
PRELIMINARIES
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 1-2
-
- Chapter
- Export citation
Proofs and Computations
-
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011
CHAPTER 3 - GÖDEL'S THEOREMS
- from Part 1 - Basic proof theory and computability
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 113-146
-
- Chapter
- Export citation
BIBLIOGRAPHY
-
- Book:
- Proofs and Computations
- Published online:
- 05 January 2012
- Print publication:
- 15 December 2011, pp 431-456
-
- Chapter
- Export citation
Accessible Recursive Functions
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 367-388
- Print publication:
- September 1999
-
- Article
- Export citation