1635 results in Bulletin of Symbolic Logic
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 155-160
- Print publication:
- March 2011
-
- Article
- Export citation
Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisited. Cambridge University Press, Cambridge, 2009, 213 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 119-122
- Print publication:
- March 2011
-
- Article
- Export citation
Individual Members 2010
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-599
- Print publication:
- December 2010
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 539-544
- Print publication:
- December 2010
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 600-604
- Print publication:
- December 2010
-
- Article
- Export citation
BSL volume 16 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- December 2010
-
- Article
-
- You have access
- Export citation
BSL volume 16 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- December 2010
-
- Article
-
- You have access
- Export citation
Well (and Better) Quasi-Ordered Transition Systems
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 457-515
- Print publication:
- December 2010
-
- Article
- Export citation
Von Neumann, Gödel and Complexity Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 516-530
- Print publication:
- December 2010
-
- Article
- Export citation
Nicholas J. J. Smith. Vagueness and degrees of truth. Oxford University Press, Oxford, 2008, viii + 341 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 533-535
- Print publication:
- December 2010
-
- Article
- Export citation
Wolfgang Kienzler. Begriff und Gegenstand. Eine historische und systematische Studie zur Entwicklung von Gottlob Freges Denken. Vittorio Klostermann, Frankfurt am Main, 2009, 403 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-537
- Print publication:
- December 2010
-
- Article
- Export citation
Dominic Hyde. Vagueness, logic and ontology. Ashgate, Aldershot, 2008, xii + 226 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 531-533
- Print publication:
- December 2010
-
- Article
- Export citation
Bobenrieth M. Andrés. The origins of the use of the argument of trivialization in the twentieth century. History and Philosophy of Logic, vol. 31 (2010), no. 2, pp. 111–121.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 537-538
- Print publication:
- December 2010
-
- Article
- Export citation
Saharon Shelah. Middle diamond. Archive for Mathematical Logic, vol. 44 (2005), pp. 527–560. - Saharon Shelah. Diamonds. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 6, pp. 2151–2161. - Martin Zeman. Diamond, GCH and weak square. Proceedings of the American Mathematical Society, vol. 138 (2010), no. 5, pp. 1853–1859.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 420-423
- Print publication:
- September 2010
-
- Article
- Export citation
Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Studies in Logic, vol. 17. College Publications, London, 2008, 454 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 409-411
- Print publication:
- September 2010
-
- Article
- Export citation
S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 (1991), no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 (1986), no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 (2006), no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 (1987), no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 (1994), no. 3, pp. 311–327.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 424-428
- Print publication:
- September 2010
-
- Article
- Export citation
BSL volume 16 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- September 2010
-
- Article
-
- You have access
- Export citation
Greg Hjorth. Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75. American Mathematical Society, Providence, RI, 2000, xviii + 195 pp. - Greg Hjorth. A dichotomy theorem for turbulence. The Journal of Symbolic Logic, vol. 67 no. 4 (2002), pp. 1520–1540.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 403-405
- Print publication:
- September 2010
-
- Article
- Export citation
John P. Burgess. Philosophical logic. Princeton University Press, Princeton NJ. 2009, viii + 153 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-413
- Print publication:
- September 2010
-
- Article
- Export citation
Martin Peterson. An introduction to decision theory. Cambridge University Press, Cambridge, 2009, x + 317 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-415
- Print publication:
- September 2010
-
- Article
- Export citation