4059 results in Logic
Some computability-theoretic aspects of reals and randomness
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 97-145
-
- Chapter
- Export citation
TUTORIALS
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 1-2
-
- Chapter
- Export citation
Modified bar recursion and classical dependent choice
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 89-107
-
- Chapter
- Export citation
Modality, mood, and descriptions
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 187-216
-
- Chapter
- Export citation
Chapter 8 - Logic and Computer Science
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 185-214
-
- Chapter
- Export citation
Chapter 6 - Intuitionist Logic
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 151-170
-
- Chapter
- Export citation
Basic applications of weak König's lemma in feasible analysis
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 175-188
-
- Chapter
- Export citation
Preface
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp v-viii
-
- Chapter
- Export citation
The pair (Nn, N0) may fail N0-compactness
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 402-433
-
- Chapter
- Export citation
Participant photographs
- from PHOTOGRAPHS
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 199-206
-
- Chapter
- Export citation
Introduction
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp v-viii
-
- Chapter
- Export citation
Arithmetic saturation
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 296-302
-
- Chapter
- Export citation
Index for Some computability-theoretic aspects of reals and randomness
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 146-148
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp ix-x
-
- Chapter
- Export citation
Countable models and the theory of Borel equivalence relations
-
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 1-42
-
- Chapter
- Export citation
Hilbert's wide program
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 228-251
-
- Chapter
- Export citation
Chapter 2 - Type Theory
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 43-70
-
- Chapter
- Export citation
Index forWeak fragments of Peano Arithmetic
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 185-185
-
- Chapter
- Export citation
Metapredicative and explicit Mahlo: a proof-theoretic perspective
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 272-293
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp v-vi
-
- Chapter
- Export citation