1635 results in Bulletin of Symbolic Logic
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 504-508
- Print publication:
- December 2014
-
- Article
- Export citation
Johan van Benthem. Logic in Games. The MIT Press, Cambridge MA, 2014, xv + 547 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 501-503
- Print publication:
- December 2014
-
- Article
- Export citation
BSL volume 20 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. b1-b2
- Print publication:
- December 2014
-
- Article
-
- You have access
- Export citation
Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 500-501
- Print publication:
- December 2014
-
- Article
- Export citation
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 497-500
- Print publication:
- December 2014
-
- Article
- Export citation
INDIVIDUAL MEMBERS 2014
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 509-551
- Print publication:
- December 2014
-
- Article
- Export citation
BSL volume 20 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. f1-f4
- Print publication:
- December 2014
-
- Article
-
- You have access
- Export citation
GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 4 / December 2014
- Published online by Cambridge University Press:
- 30 December 2014, pp. 417-448
- Print publication:
- December 2014
-
- Article
- Export citation
Ulrich Pardey, Frege on Absolute and Relative Truth. An Introduction to the Practice of Interpreting Philosophical Texts, History of Analytic Philosophy (no vol. number), Palgrave Macmillian, Basingstoke-New York, 2012, xxiv+242 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 360-362
- Print publication:
- September 2014
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 411-416
- Print publication:
- September 2014
-
- Article
-
- You have access
- Export citation
BSL volume 20 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. b1-b2
- Print publication:
- September 2014
-
- Article
-
- You have access
- Export citation
Recent developments in model theory, Notre Dame Journal of Formal Logic, vol.54, nos. 3-4, 2013.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 357-359
- Print publication:
- September 2014
-
- Article
- Export citation
CHAIN CONDITIONS OF PRODUCTS, AND WEAKLY COMPACT CARDINALS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 293-314
- Print publication:
- September 2014
-
- Article
- Export citation
COMPUTABLE ABELIAN GROUPS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 315-356
- Print publication:
- September 2014
-
- Article
- Export citation
2012 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’12 Manchester, UK July 12–18, 2012
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 369-410
- Print publication:
- September 2014
-
- Article
- Export citation
BSL volume 20 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. f1-f3
- Print publication:
- September 2014
-
- Article
-
- You have access
- Export citation
EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 275-292
- Print publication:
- September 2014
-
- Article
- Export citation
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 363-365
- Print publication:
- September 2014
-
- Article
- Export citation
Antonio Montalbán, Indecomposable linear orderings and hyperarithmetic analysis. Journal of Mathematical Logic, vol. 6 (2006), no. 1, pp. 89–120. - Itay Neeman, The strength of Jullien’s indecomposability theorem. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp. 93–119. - Itay Neeman, Necessary use ofinduction in a reversal. Journal of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561–574.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 366-368
- Print publication:
- September 2014
-
- Article
- Export citation
Nicholas J. J. Smith. Logic: The laws of truth. Princeton University Press, Princeton NJ, 2012, xiv + 528 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 26 June 2014, pp. 202-203
- Print publication:
- June 2014
-
- Article
- Export citation