1635 results in Bulletin of Symbolic Logic
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
BSL volume 11 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
- Print publication:
- June 2005
-
- Article
-
- You have access
- Export citation
Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-238
- Print publication:
- June 2005
-
- Article
- Export citation
Future Tasks for Gödel Scholars
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 150-171
- Print publication:
- June 2005
-
- Article
- Export citation
Dominique Perrin and Jean-Eric Pin. Infinite words: automata, semigroups, logic and games. Pure and Applied Mathematics Series, vol. 141. Elsevier, Amsterdam, 2004, xi + 538 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-247
- Print publication:
- June 2005
-
- Article
- Export citation
Gödel's Conceptual Realism
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 207-224
- Print publication:
- June 2005
-
- Article
- Export citation
Richard Zach. Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs . History and Philosophy of Logic, vol. 25 (2004), pp. 79–94.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 247-248
- Print publication:
- June 2005
-
- Article
- Export citation
The Gödel Editorial Project: A Synopsis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 132-149
- Print publication:
- June 2005
-
- Article
- Export citation
BSL volume 11 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
- Print publication:
- March 2005
-
- Article
-
- You have access
- Export citation
A Festschrift in honour of Professor Ivor Grattan-Guinness, edited by John Dawson, History and Philosophy of Logic, vol. 24 no. 4 (2003), pp. 257, 259, 261–366 and vol. 25 no. 1 (2004), pp. 3–51.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 89-91
- Print publication:
- March 2005
-
- Article
- Export citation
Andreas Weiermann. An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions. Discrete Mathematics and Theoretical Computer Science, vol. 6 no. 1 (2003), pp. 133–141.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, p. 89
- Print publication:
- March 2005
-
- Article
- Export citation
The Cambridge companion to Bertrand Russell, edited by Nicholas Griffin, Cambridge University Press, Cambridge, UK and New York, USA, 2003, xvii + 550 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 72-77
- Print publication:
- March 2005
-
- Article
- Export citation
A. W. F. Edwards. Cogwheels of the mind: the story of Venn diagrams. The Johns Hopkins University Press, Baltimore and London, 2004, xvi + 109 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 83-84
- Print publication:
- March 2005
-
- Article
- Export citation
Peter Philipp. Logisch-philosophische Untersuchungen, edited by Ingolf Max and Richard Raatsch, Perspectives in Analytical Philosophy, vol. 20. de Gruyter, Berlin, New York, 1998, xvii + 433 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 63-65
- Print publication:
- March 2005
-
- Article
- Export citation
Compactness and Independence in Non First Order Frameworks
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 28-50
- Print publication:
- March 2005
-
- Article
- Export citation
Relevant logics and their rivals, Volume II, A continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady, edited by Ross Brady, with contributions by Martin Bunder, André Fuhrmann, Andréa Loparić, Edwin Mares, Chris Mortensen and Alasdair Urquhart. Western Philosophy Series, vol. 59. Aldershot, Ashgate, 2003, xiv + 425 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 70-72
- Print publication:
- March 2005
-
- Article
- Export citation
Paul Howard and Jean E. Rubin. Consequences of the axiom of choice, Mathematical Surveys and Monographs, vol. 59. American Mathematical Society, Providence, RI, 1998, viii + 432 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 61-63
- Print publication:
- March 2005
-
- Article
- Export citation
Mass Problems and Randomness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-27
- Print publication:
- March 2005
-
- Article
- Export citation
BSL volume 11 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- March 2005
-
- Article
-
- You have access
- Export citation
I. Jané. Reflections on Skolem's relativity of set-theoretical concepts. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 95–121 - C. Wright. On being in a quandary: relativism, vagueness, logical revisionism. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 273–325
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 84-89
- Print publication:
- March 2005
-
- Article
- Export citation