25 results
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 18 November 2019, pp. 250-284
- Print publication:
- March 2021
-
- Article
- Export citation
IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 04 December 2017, pp. 337-344
- Print publication:
- September 2017
-
- Article
-
- You have access
- Export citation
K-graph Machines: generalizing Turing's machines and arguments
- from Part I - Invited Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 98-119
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
Step by recursive step: Church's analysis of effective calculability
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 434-466
-
- Chapter
- Export citation
Only two letters: The correspondence between Herbrand and Gödel
-
-
- Book:
- Kurt Gödel
- Published online:
- 04 August 2010
- Print publication:
- 19 April 2010, pp 61-73
-
- Chapter
- Export citation
Only Two Letters: The Correspondence between Herbrand and Gödel
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 172-184
- Print publication:
- June 2005
-
- Article
- 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
Contents
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp vii-viii
-
- 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
![](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
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
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
Frontmatter
-
- Book:
- Reflections on the Foundations of Mathematics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2002, pp i-iv
-
- 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
Hilbert's Programs: 1917–1922
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-44
- Print publication:
- March 1999
-
- Article
- Export citation
Step by Recursive Step: Church's Analysis of Effective Calculability
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 154-180
- Print publication:
- June 1997
-
- Article
- Export citation