1635 results in Bulletin of Symbolic Logic
Mary Tiles. The philosophy of set theory, an historical introduction to Cantor's paradise. Courier Dover Publications, 2004, xiii + 239 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 601-604
- Print publication:
- December 2006
-
- Article
- Export citation
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 611-612
- Print publication:
- December 2006
-
- Article
- Export citation
Individual Members 2006
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 625-681
- Print publication:
- December 2006
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 687-692
- Print publication:
- December 2006
-
- Article
- Export citation
BSL volume 12 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- December 2006
-
- Article
-
- You have access
- Export citation
2005–06 Winter Meeting of the 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. 613-624
- Print publication:
- December 2006
-
- Article
- Export citation
Gödel's Program Revisited Part I: The Turn to Phenomenology
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 529-590
- Print publication:
- December 2006
-
- Article
- Export citation
Internal Consistency and the Inner Model Hypothesis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 591-600
- Print publication:
- December 2006
-
- Article
- Export citation
The Notre Dame Lectures, edited by Peter Cholak, Lecture Notes in Logic, vol. 18. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2005, vii + 185 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 605-607
- Print publication:
- December 2006
-
- Article
- Export citation
BSL volume 12 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- December 2006
-
- Article
-
- You have access
- Export citation
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 503-516
- Print publication:
- September 2006
-
- Article
- Export citation
Degree Structures: Local and Global Investigations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 369-389
- Print publication:
- September 2006
-
- Article
- Export citation
BSL volume 12 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- September 2006
-
- Article
-
- You have access
- Export citation
Randomness and Computability: Open Questions
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-410
- Print publication:
- September 2006
-
- Article
- Export citation
Martin Dietzfelbinger. Primality testing in polynomial time—from randomized algorithms to “PRIMES is in P”. Lecture Notes in Computer Science, vol. 3000. Springer-Verlag, 2004, x + 147 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 494-496
- Print publication:
- September 2006
-
- Article
- Export citation
Calibrating Randomness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-491
- Print publication:
- September 2006
-
- Article
- Export citation
Danielle Macbeth. Frege's logic. Harvard University Press, Cambridge, Massachusetts, 2005, xii + 206 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 496-498
- Print publication:
- September 2006
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 524-527
- Print publication:
- September 2006
-
- Article
- Export citation
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 492-494
- Print publication:
- September 2006
-
- Article
- Export citation
David Makinson. Bridges from classical to nonmonotonic logic. Text in Computing, vol. 5. King's College, London, 2005, xvi + 216 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 499-502
- Print publication:
- September 2006
-
- Article
- Export citation