5570 results in Programming Languages and Applied Logic
A context principle
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 42-59
-
- Chapter
- Export citation
Proof-theoretic strength of the stable marriage theorem and other problems
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 67-103
-
- Chapter
- Export citation
Coercion vs. indeterminacy in opaque verbs
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 217-265
-
- Chapter
- Export citation
Index forModel theory of difference fields
-
- Book:
- The Notre Dame Lectures
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 95-96
-
- Chapter
- Export citation
Partitioning pairs of uncountable sets
- from ARTICLES
-
-
- Book:
- Logic Colloquium 2000
- Published online:
- 27 June 2017
- Print publication:
- 02 March 2005, pp 350-364
-
- Chapter
- Export citation
An introduction to proofs of determinacy of long games
- from TUTORIALS
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 43-86
-
- Chapter
- Export citation
The model theory of compact complex spaces
- from ARTICLES
-
-
- Book:
- Logic Colloquium '01
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 317-349
-
- Chapter
- Export citation
Undecidable theories and reversemathematics
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 349-351
-
- Chapter
- Export citation
The modal aether
-
-
- Book:
- Intensionality
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 1-19
-
- Chapter
- Export citation
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