1635 results in Bulletin of Symbolic Logic
J. Zapletal. Forcing idealized. Cambridge Tracts in Mathematics, vol. 174. Cambridge University Press, 2008, vi+ 314 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 278-279
- Print publication:
- June 2010
-
- Article
- Export citation
Almost Disjoint Families and Diagonalizations of Length Continuum
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-260
- Print publication:
- June 2010
-
- Article
- Export citation
BSL volume 16 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 14 December 2016, pp. f1-f2
- Print publication:
- June 2010
-
- Article
- Export citation
BSL volume 16 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 14 December 2016, pp. b1-b2
- Print publication:
- June 2010
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 299-304
- Print publication:
- June 2010
-
- Article
- Export citation
Kleene's Amazing Second Recursion Theorem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 189-239
- Print publication:
- June 2010
-
- Article
- Export citation
11th Asian Logic Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 288-298
- Print publication:
- June 2010
-
- Article
- Export citation
Eckart Menzler-Trott. Translated by Craig Smoryński and Edward Griffor. Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33. American Mathematical Society, Providence, RI, 2007, xxii+441 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-275
- Print publication:
- June 2010
-
- Article
- Export citation
The Senses of Functions in the Logic of Sense and Denotation
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 153-188
- Print publication:
- June 2010
-
- Article
- Export citation
Katalin Bimbó and J. Michael Dunn. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. CSLI Publications, Stanford University, 2008, x + 382 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 277-278
- Print publication:
- June 2010
-
- Article
- Export citation
Jc Beall. Spandrels of truth. Oxford University Press, Oxford, 2009, xiv + 154 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-286
- Print publication:
- June 2010
-
- Article
- Export citation
Corrigendum
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, p. 151
- Print publication:
- March 2010
-
- Article
-
- You have access
- Export citation
BSL volume 60 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- March 2010
-
- Article
-
- You have access
- Export citation
Lothar Kreiser. Logik und Logiker in der DDR. Eine Wissenschaft im Aufbruch. Leipziger Universitaetsverlag, Leipzig, 2009, 479 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 87-89
- Print publication:
- March 2010
-
- Article
- Export citation
The Axiom of Infinity and Transformations j: V → V
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 37-84
- Print publication:
- March 2010
-
- Article
- Export citation
Strong Logics of First and Second Order
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-36
- Print publication:
- March 2010
-
- Article
- Export citation
BSL volume 60 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b5
- Print publication:
- March 2010
-
- Article
-
- You have access
- Export citation
André Nies. Computability and randomness. Oxford Logic Guides, vol. 51. Oxford University Press, Oxford, 2009, xv + 433 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 85-87
- Print publication:
- March 2010
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-150
- Print publication:
- March 2010
-
- Article
- Export citation
2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 90-142
- Print publication:
- March 2010
-
- Article
- Export citation