5570 results in Programming Languages and Applied Logic
Three processes in natural language interpretation
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 208-227
-
- Chapter
- Export citation
Chapter 4 - Comparing stochastic processes
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 59-74
-
- Chapter
- Export citation
Reflections on the Foundations of Mathematics
- Essays in Honor of Solomon Feferman
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002
Contents
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp vii-viii
-
- Chapter
- Export citation
Chapter 3 - Saturated spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 43-58
-
- Chapter
- Export citation
Realism and the debate on impredicativity, 1917-1944*
- 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 372-389
-
- Chapter
- Export citation
Predicativity: The outer limits
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 130-136
-
- Chapter
- Export citation
Computability theory: structure or algorithms
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 182-207
-
- Chapter
- Export citation
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 347-348
-
- Chapter
- Export citation
On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann
- 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 349-371
-
- Chapter
- Export citation
Index
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 136-136
-
- Chapter
- Export citation
Chapter 9 - Enlarging saturated spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 125-130
-
- Chapter
- Export citation
Computational complexity and induction for partial computable functions in type theory
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 164-181
-
- Chapter
- Export citation
Chapter 7 - Rich adapted spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 99-114
-
- Chapter
- Export citation
Logical constants: the variable fortunes of an elusive notion
- 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 420-440
-
- Chapter
- Export citation
Ordinal analysis without proofs
- from PART I - PROOF THEORETIC ANALYSIS
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 1-36
-
- Chapter
- Export citation
Chapter 5 - Definability in adapted spaces
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 75-84
-
- Chapter
- Export citation
A pragmatic interpretation of substructural logics
- from PART II - LOGIC AND COMPUTATION
-
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 139-163
-
- Chapter
- Export citation
Feferman-Landin Logic
- 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 293-328
-
- Chapter
- Export citation
References
-
- Book:
- Model Theory of Stochastic Processes
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2002, pp 131-135
-
- Chapter
- Export citation