1635 results in Bulletin of Symbolic Logic
The Prospects for Mathematical Logic in the Twenty-First Century
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 169-196
- Print publication:
- June 2001
-
- Article
- Export citation
José Ferreirós. Labyrinth of thought. A history of set theory and its role in modern mathematics. Science networks, vol. 23. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, xxi + 440 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 277-278
- Print publication:
- June 2001
-
- Article
- Export citation
BSL volume 7 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 2001
-
- Article
-
- You have access
- Export citation
Explicit Provability and Constructive Semantics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-36
- Print publication:
- March 2001
-
- Article
- Export citation
Logic, logic, and logic, by George Boolos, with introductions and afterword by John P. Burgess, edited by Richard Jeffrey, Harvard University Press, Cambridge, Mass., and London, 1998, ix + 443 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 58-62
- Print publication:
- March 2001
-
- Article
- Export citation
P. G. Odifreddi. Classical recursion theory. Volume II. Studies in logic and the foundations of mathematics, vol. 143. Elsevier, Amsterdam etc. 1999, xvi + 949 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 71-73
- Print publication:
- March 2001
-
- Article
- Export citation
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 82-163
- Print publication:
- March 2001
-
- Article
- Export citation
Dirk van Dalen. Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1. The dawning revolution. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1999, xv + 440 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 62-65
- Print publication:
- March 2001
-
- Article
- Export citation
Richard A. Shore and Theodore A. Slaman. Defining the Turing jump. Mathematical research letters, vol. 6 (1999), pp. 711–722.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 73-75
- Print publication:
- March 2001
-
- Article
- Export citation
Ulrich Kohlenbach. On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness. Annals of pure and applied logic, vol. 95 (1998), pp. 257–285.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 75-77
- Print publication:
- March 2001
-
- Article
- Export citation
Handbook of recursive mathematics, Volume 1, Recursive model theory, edited by Yu. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, with V. W. Marek, Studies in logic and the foundations of mathematics, vol. 138, Elsevier, Amsterdam etc. 1998, xlvi + 620 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 66-69
- Print publication:
- March 2001
-
- Article
- Export citation
On the Unusual Effectiveness of Logic in Computer Science
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-236
- Print publication:
- June 2001
-
- Article
- Export citation
Martin Davis. The universal computer. The road from Leibniz to Turing. W. W. Norton & Company, New York and London 2000, xii + 257 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-66
- Print publication:
- March 2001
-
- Article
- Export citation
BSL volume 7 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- March 2001
-
- Article
-
- You have access
- Export citation
Tautologies from Pseudo-Random Generators
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
- Print publication:
- June 2001
-
- Article
- Export citation
James E. Baumgartner, Alan Taylor, and Stanley Wagon. Ideals on uncountable cardinals. Logic Colloquium '77, Proceedings of the colloquium held in WrocŁaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 67–77. - J. E. Baumgartner, A. D. Taylor, and S. Wagon. Structural properties of ideals. Dissertationes mathematicae (Rozprawy matematyczne), no. 197, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1982, 95 pp. - James E. Baumgartner and Alan D. Taylor. Saturation properties of ideals in generic extensions. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 557–574, and vol. 271 (1982), pp. 587–609.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 79
- Print publication:
- March 2001
-
- Article
- Export citation
BSL volume 7 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- March 2001
-
- Article
-
- You have access
- Export citation
Handbook of recursive mathematics, Volume 2, Recursive algebra, analysis and combinatorics, edited by Yu. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, with V. W. Marek, Studies in logic and the foundations of mathematics, vol. 139, Elsevier, Amsterdam etc. 1998, xlvi + pp. 621–1372
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 69-71
- Print publication:
- March 2001
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 164-168
- Print publication:
- March 2001
-
- Article
- Export citation
Toshiyasu Arai. Some results on cut-elimination, provable well-orderings, induction and reflection. Annals of pure and applied logic, vol. 95 (1998), pp. 93–184.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 77-78
- Print publication:
- March 2001
-
- Article
- Export citation