18 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
Contents
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp v-viii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 225-230
-
- 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
Chapter 2 - Type Theory
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 43-70
-
- Chapter
- Export citation
Chapter 5 - Choice and Function Terms
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 137-150
-
- Chapter
- Export citation
Chapter 4 - Recursions
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 99-136
-
- Chapter
- Export citation
Chapter 7 - Logic and Mathematics
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 171-184
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp ix-xviii
-
- Chapter
- Export citation
References
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 215-224
-
- Chapter
- Export citation
Chapter 1 - Elementary Logic
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 1-42
-
- Chapter
- Export citation
Chapter 3 - An Intensional Type Theory
-
- Book:
- Logicism Renewed
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005, pp 71-98
-
- Chapter
- Export citation
Logicism Renewed
- Logical Foundations for Mathematics and Computer Science
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2005
An intensional type theory: motivation and cut-elimination
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-400
- Print publication:
- March 2001
-
- Article
- Export citation
Natural deduction based set theories: a new resolution of the old paradoxes
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-411
- Print publication:
- June 1986
-
- Article
- Export citation
J. Kent Minichiello. An extension of negationless logic. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 298–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
- Print publication:
- December 1971
-
- Article
- Export citation