4059 results in Logic
27 - Modal Logic and Provability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 327-340
-
- Chapter
- Export citation
BASIC METALOGIC
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 99-100
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805210/07580/cover/9780521007580.jpg)
Computability and Logic
-
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002
23 - Arithmetical Definability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 286-294
-
- Chapter
- Export citation
FURTHER TOPICS
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 241-242
-
- Chapter
- Export citation
6 - Recursive Functions
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 63-72
-
- Chapter
- Export citation
4 - Uncomputability
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 35-44
-
- Chapter
- Export citation
2 - Diagonalization
-
- Book:
- Computability and Logic
- Published online:
- 05 June 2012
- Print publication:
- 04 March 2002, pp 16-22
-
- Chapter
- Export citation
The epsilon substitutionmethod and continuity
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 117-129
-
- Chapter
- Export citation
Explicit mathematics with monotone inductive definitions: A survey
- from PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 329-346
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp v-vi
-
- Chapter
- Export citation
Foundational and mathematical uses of higher types
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 92-116
-
- Chapter
- Export citation
Contents
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp vii-viii
-
- Chapter
- Export citation
Infinitary initial algebra specifications for stream algebras
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 228-248
-
- Chapter
- Export citation
Remarks on finitism
- from PART IV - PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 410-419
-
- Chapter
- Export citation
Relating ordinals to proofs in a perspicuous way
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 37-59
-
- Chapter
- Export citation
Internal finite tree embeddings
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 60-91
-
- Chapter
- Export citation
PART I - PROOF THEORETIC ANALYSIS
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp ix-x
-
- Chapter
- Export citation
PART II - LOGIC AND COMPUTATION
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 137-138
-
- Chapter
- Export citation
PART III - APPLICATIVE AND SELF-APPLICATIVE THEORIES
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 249-250
-
- Chapter
- Export citation