1635 results in Bulletin of Symbolic Logic
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 122-127
- Print publication:
- March 2005
-
- Article
- Export citation
Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 51-60
- Print publication:
- March 2005
-
- Article
- Export citation
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 77-79
- Print publication:
- March 2005
-
- Article
- Export citation
11th Workshop on Logic, Language, Information and Computation (WoLLIC '2004)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 120-121
- Print publication:
- March 2005
-
- Article
- Export citation
Charles Chihara. A structural account of mathematics. Oxford University Press, Oxford, 2004, xiv + 380 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 79-83
- Print publication:
- March 2005
-
- Article
- Export citation
2004 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 92-119
- Print publication:
- March 2005
-
- Article
- Export citation
Peter T. Johnstone. Sketches of an elephant: a topos theory compendium. Oxford Logic Guides, vols. 43, 44. Oxford University Press, Oxford, 2002, xxii + 1160 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 65-69
- Print publication:
- March 2005
-
- Article
- Export citation
Handbook of the history of logic, edited by Dov M. Gabbay and John Woods, Volume 1: Greek, Indian and Arabic logic. Elsevier, Amsterdam, 2004, viii + 618 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 579-583
- Print publication:
- December 2004
-
- Article
- Export citation
Ernest Schimmerling. Covering properties of core models. Sets and proofs. (Leeds, 1997), London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 (Granada, 1987), Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX (Uppsala, 1991), Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs (Leeds, 1997), London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 (1993), pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core model for one Woodin cardinal. Annals of Pure and Applied Logic, vol. 74 no. 2 (1995), pp. 153–201. - Philip D. Welch. Some remarks on the maximality of inner models. Logic Colloquium '98 (Prague, 1998), Lecture Notes in Logic 13, Association of Symbolic Logic, Urbana, Illinois, 2000, pp. 516–540.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 583-588
- Print publication:
- December 2004
-
- Article
- Export citation
Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 563-565
- Print publication:
- December 2004
-
- Article
- Export citation
Kurt Gödel collected works IV-V: correspondence, edited by Solomon Feferman, John W. DawsonJr. , Warren Goldfarb, Charles Parsons, and Wilfried Sieg, Oxford University Press, Oxford, 2003, xix + 646 pp. and xvii + 664 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 558-563
- Print publication:
- December 2004
-
- Article
- Export citation
Jonathan Bennett. A philosophical guide to conditionals. Clarendon Press, Oxford, 2003, viii + 388 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 565-570
- Print publication:
- December 2004
-
- Article
- Export citation
Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, p. 596
- Print publication:
- December 2004
-
- Article
- Export citation
Deborah J. Bennett. Logic made easy: How to know when language deceives you, W. W. Norton & Company, 2004, 256 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 577-578
- Print publication:
- December 2004
-
- Article
- Export citation
Zermelo and Set Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 487-553
- Print publication:
- December 2004
-
- Article
- Export citation
Kit Fine. The limits of abstraction. Clarendon Press, Oxford, 2002, x + 203 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 554-557
- Print publication:
- December 2004
-
- Article
- Export citation
CLE/SBL 25 Years XIII Brazilian Logic Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 594-595
- Print publication:
- December 2004
-
- Article
- Export citation
Andreas Weiermann. Complexity bounds for some finite forms of Kruskal's Theorem. Journal of Symbolic Computation, vol. 18 (1994), pp. 463–448. - Andreas Weiermann. Termination proofs for term rewriting systems with lexicographic path ordering imply multiply recursive derivation lengths. Theoretical Computer Science, vol. 139 (1995), pp. 355–362. - Andreas Weiermann. Bounding derivation lengths with functions from the slow growing hierarchy. Archive of Mathematical Logic, vol. 37 (1998), pp. 427–441.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 588-590
- Print publication:
- December 2004
-
- Article
- Export citation
Heinz-Dieter Ebbinghaus. Zermelo: definiteness and the universe of definable sets. History and philosophy of logic, vol. 24 (2003), pp. 197–219. - Heinz-Dieter Ebbinghaus. Zermelo in the mirror of the Baer correspondence, 1930-1931. Historia mathematica, vol. 31 (2004), pp. 76–86.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 590-592
- Print publication:
- December 2004
-
- Article
- Export citation
Jody Azzouni. Deflating existential consequence: a case for nominalism. Oxford University Press, Oxford, 2004, viii + 342 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 573-577
- Print publication:
- December 2004
-
- Article
- Export citation