1635 results in Bulletin of Symbolic Logic
J. Flum and M. Grohe. Parameterized complexity theory. Texts in Theoretical Computer Science. Springer, Berlin, 2006, xiii + 493 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-248
- Print publication:
- June 2007
-
- Article
- Export citation
Gödel and Set Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 153-188
- Print publication:
- June 2007
-
- Article
- Export citation
Handbook of philosophical logic, edited by D. M. Gabbay and F. Guenthner, vol. 10. Kluwer Acadamic Publishers, Dordrecht/Boston/London, 2004, 361 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 248-250
- Print publication:
- June 2007
-
- Article
- Export citation
Set Theory and C*-Algebras
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-20
- Print publication:
- March 2007
-
- Article
- Export citation
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 54-70
- Print publication:
- March 2007
-
- Article
- Export citation
Filip Widebäck. Identity of proofs. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, vol. 22. Almqvist and Wiksell International, Stockholm, 2001, 85 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-102
- Print publication:
- March 2007
-
- Article
- Export citation
BSL volume 13 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
Inner Models and Ultrafilters In L(ℝ)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 31-53
- Print publication:
- March 2007
-
- Article
- Export citation
V. F. Hendricks. Mainstream and formal epistemology. Cambridge University Press, 2006, xii + 188 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 110-114
- Print publication:
- March 2007
-
- Article
- Export citation
In Memoriam: Saunders Mac Lane 1909–2005
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 115-119
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
BSL volume 13 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
Incompleteness in a General Setting
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 21-30
- Print publication:
- March 2007
-
- Article
- Export citation
Leo Corry. Modern algebra and the rise of mathematical structures. Second edition. Birkhäuser Verlag, Basel, 2004, xvi + 451 pp. First edition 1996.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 102-104
- Print publication:
- March 2007
-
- Article
- Export citation
On the Equimorphism Types of Linear Orderings
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 71-99
- Print publication:
- March 2007
-
- Article
- Export citation
2006 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 120-145
- Print publication:
- March 2007
-
- Article
- Export citation
Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 104-106
- Print publication:
- March 2007
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 146-151
- Print publication:
- March 2007
-
- Article
- Export citation
Reverse Mathematics 2001, edited by Stephen G. Simpson, Lecture Notes in Logic, vol. 21. ASL and AK Peters, Ltd., Wellesley, Massachusetts, x + 401 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 106-109
- Print publication:
- March 2007
-
- Article
- Export citation
William Tait. The provenance of pure reason: essays in the philosophy of mathematics and its history. Oxford University Press, Oxford, 2005, x + 332 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 608-611
- Print publication:
- December 2006
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 682-686
- Print publication:
- December 2006
-
- Article
- Export citation