6 results
Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 258-259
- Print publication:
- June 2008
-
- Article
- Export citation
Torkel Franzén. Gödel's theorem: an incomplete guide to its use and abuse. AK Peters, Ltd., Wellesley, Massachusetts, 2005, x + 172 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 241-243
- Print publication:
- June 2007
-
- Article
- Export citation
The Worm principle
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 75-95
-
- Chapter
- Export citation
On the induction schema for decidable predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-34
- Print publication:
- March 2003
-
- Article
- Export citation
Bimodal logics for extensions of arithmetical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-124
- Print publication:
- March 1996
-
- Article
- Export citation
Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 229–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-717
- Print publication:
- June 1993
-
- Article
- Export citation