1635 results in Bulletin of Symbolic Logic
2004 Spring Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 438-446
- Print publication:
- September 2004
-
- Article
- Export citation
Risto Vilkko. A hundred years of logical investigations. Reform efforts of logic in Germany 1781–1879. Mentis, Paderborn, 2002, 208 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 419-421
- Print publication:
- September 2004
-
- Article
- Export citation
BSL volume 10 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f2
- Print publication:
- September 2004
-
- Article
-
- You have access
- Export citation
Predicative Fragments of Frege Arithmetic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 153-174
- Print publication:
- June 2004
-
- Article
- Export citation
BSL volume 10 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, p. f1
- Print publication:
- June 2004
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 297-302
- Print publication:
- June 2004
-
- Article
- Export citation
BSL volume 10 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. b1-b2
- Print publication:
- June 2004
-
- Article
-
- You have access
- Export citation
Erdős Graphs Resolve Fine's Canonicity Problem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 186-208
- Print publication:
- June 2004
-
- Article
- Export citation
C. Stephen Layman. The power of logic. 2nd edition. McGraw-Hill, 2002, ix + 592 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-219
- Print publication:
- June 2004
-
- Article
- Export citation
10th Workshop on Logic, Language, Information and Computation (WoLLIC '2003)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 295-296
- Print publication:
- June 2004
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 223-225
- Print publication:
- June 2004
-
- Article
- Export citation
La filosofia di Gottlob Frege, edited by Nicla Vassallo, Franco Angeli, Milano, 2003, 237 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 226-228
- Print publication:
- June 2004
-
- Article
- Export citation
Handbook of the logic of argument and inference, edited by D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, Studies in Logic and Practical Reasoning, vol. 1. North-Holland, Amsterdam, 2002, 498 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 220-222
- Print publication:
- June 2004
-
- Article
- Export citation
Alexander Lübotzky and Dan Segal. Subgroup growth. Progress in Mathematics, vol. 212. Birkhäuser Verlag, Basel, 2003, xxvii + 453 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-226
- Print publication:
- June 2004
-
- Article
- Export citation
Dov Gabbay. Fibring logics, Oxford Logic Guides, vol. 38. Oxford University Press, 1998, xiii + 475 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 209-211
- Print publication:
- June 2004
-
- Article
- Export citation
Asymptotic Cones and Ultrapowers of Lie Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 175-185
- Print publication:
- June 2004
-
- Article
- Export citation
C. Penco. Frege: two theses, two senses. History and Philosophy of Logic, vol. 24, no. 2 (2003), pp. 87–109.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 232-233
- Print publication:
- June 2004
-
- Article
- Export citation
Silvio Ghilardi and Marek Zawadowski. Sheaves, games, and model completions. Trends in Logic, vol. 14. Kluwer, 2002.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
- Print publication:
- June 2004
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-223
- Print publication:
- June 2004
-
- Article
- Export citation
Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-214
- Print publication:
- June 2004
-
- Article
- Export citation