Research Article
Computability Theory and Differential Geometry
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 457-486
-
- Article
- Export citation
Zermelo and Set Theory
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 487-553
-
- Article
- Export citation
Reviews
Kit Fine. The limits of abstraction. Clarendon Press, Oxford, 2002, x + 203 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 554-557
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 558-563
-
- Article
- Export citation
Peter Smith. An introduction to formal logic. Cambridge University Press, Cambridge, 2003, viii + 357 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 563-565
-
- Article
- Export citation
Jonathan Bennett. A philosophical guide to conditionals. Clarendon Press, Oxford, 2003, viii + 388 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 565-570
-
- Article
- Export citation
Warren Goldfarb. Deductive logic. Hackett Publishing Company, Indianapolis, 2003, xv + 292 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 570-573
-
- Article
- Export citation
Jody Azzouni. Deflating existential consequence: a case for nominalism. Oxford University Press, Oxford, 2004, viii + 342 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 573-577
-
- Article
- Export citation
Deborah J. Bennett. Logic made easy: How to know when language deceives you, W. W. Norton & Company, 2004, 256 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 577-578
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 579-583
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 583-588
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 588-590
-
- 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.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 590-592
-
- Article
- Export citation
G. Klima. Consequences of a closed, token-based semantics: the case of John Buridan. History and Philosophy of Logic, vol. 25 no. 2 (2004), pp. 95–110.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 592-593
-
- Article
- Export citation
Meeting Report
CLE/SBL 25 Years XIII Brazilian Logic Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 594-595
-
- Article
- Export citation
Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004)
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 596
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 597-600
-
- Article
- Export citation
Individual Members 2004
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 601-653
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 654-658
-
- Article
- Export citation
Front matter
BSL volume 10 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f2
-
- Article
-
- You have access
- Export citation