5570 results in Programming Languages and Applied Logic
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
PART IV - PROJECTIVE ORDINALS
-
- Book:
- Wadge Degrees and Projective Ordinals
- Published online:
- 05 December 2011
- Print publication:
- 01 December 2011, pp 197-198
-
- Chapter
- Export citation
Projective sets and cardinal numbers: some questions related to the continuum problem
- from PART IV - PROJECTIVE ORDINALS
-
-
- Book:
- Wadge Degrees and Projective Ordinals
- Published online:
- 05 December 2011
- Print publication:
- 01 December 2011, pp 484-508
-
- Chapter
- Export citation