4059 results in 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
![](https://assets.cambridge.org/97813167/55983/cover/9781316755983.jpg)
Reflections on the Foundations of Mathematics
- Essays in Honor of Solomon Feferman
-
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002
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
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
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
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
Reflections
- from Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 443-444
-
- Chapter
- Export citation
Symposium program
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp 441-442
-
- Chapter
- Export citation
The proof-theoretic analysis of the Suslin operator in applicative theories
- 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 270-292
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp i-iv
-
- Chapter
- Export citation
On extensionality, uniformity and comprehension in the theories of operations and classes
- 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 251-269
-
- Chapter
- Export citation
Calculations by man and machine: conceptual analysis*
- 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 390-409
-
- Chapter
- Export citation
IV - The liberating word
-
- Book:
- Wittgenstein's <I>Tractatus</I>
- Published online:
- 03 February 2010
- Print publication:
- 17 December 2001, pp 125-136
-
- Chapter
- Export citation
Index
-
- Book:
- Wittgenstein's <I>Tractatus</I>
- Published online:
- 03 February 2010
- Print publication:
- 17 December 2001, pp 171-175
-
- Chapter
- Export citation