Contents
Meeting Report
2004 Spring Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 438-446
-
- Article
- Export citation
Reviews
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
John Woods . Paradox and paraconsistency: Conflict resolution in the abstract sciences, Cambridge University Press, Cambridge, New York, 2003, xviii + 362 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 116-118
-
- Article
- Export citation
I. Lavrov and L. Maksimova. Problems in set theory, mathematical logic, and the theory of algorithms. The University Series in Mathematics, Kluwer Academic/Plenum Publishers, New York, 2003, ix + 282 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-223
-
- Article
- Export citation
Terese . Term rewriting systems, edited by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, Cambridge Tracts in Theoretical Computer Science, vol. 55. Cambridge University Press, 2003, xxii + 884 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 223-225
-
- 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
N. C. A. Da Costa and F. A. Doria . Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 118-119
-
- Article
- Export citation
Meeting Report
2004 Annual Conference of the Australasian Association for Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 447-451
-
- Article
- Export citation
2003 Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 120-145
-
- Article
- Export citation
Reviews
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
Alexander Lübotzky and Dan Segal. Subgroup growth. Progress in Mathematics, vol. 212. Birkhäuser Verlag, Basel, 2003, xxvii + 453 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-226
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 452-456
-
- Article
- Export citation
Front matter
BSL volume 10 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
La filosofia di Gottlob Frege, edited by Nicla Vassallo, Franco Angeli, Milano, 2003, 237 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 226-228
-
- 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
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 146-151
-
- Article
- Export citation
Front matter
BSL volume 10 issue 1 Front Cover and matter
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 10 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b2
-
- Article
-
- You have access
- 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
Reviews
Wahrheit und Beweisbarkeit. Kurt Gödel. Dokumente und historische Analysen. edited by Eckehart Köhler et al., Band 1. öbv et hpt, Wien, 2003, 278 pp. - Wahrheit und Beweisbarkeit. Kurt Gödel. Kompendium zum Werk. edited by Bernd Buldt et al., Band 2. öbv et hpt, Wien, 2003, 445 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 228-232
-
- Article
- Export citation