1635 results in Bulletin of Symbolic Logic
BSL volume 11 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
- Print publication:
- December 2005
-
- Article
-
- You have access
- Export citation
The essential Turing, edited by B. Jack Copeland, Oxford University Press, 2004, vii + 613 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 541-542
- Print publication:
- December 2005
-
- Article
- Export citation
Geometric Cardinal Invariants, Maximal Functions and a Measure Theoretic Pigeonhole Principle
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 517-525
- Print publication:
- December 2005
-
- Article
- Export citation
BSL volume 11 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f7
- Print publication:
- December 2005
-
- Article
-
- You have access
- Export citation
2005 Spring Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 547-556
- Print publication:
- December 2005
-
- Article
- Export citation
12th Workshop on Logic, Language, Information and Computation (WoLLIC '2005)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 558-559
- Print publication:
- December 2005
-
- Article
- Export citation
Algebraic Logic, Where Does it Stand Today?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 465-516
- Print publication:
- December 2005
-
- Article
- Export citation
Reverse Mathematics and Π12 Comprehension
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 526-533
- Print publication:
- December 2005
-
- Article
- Export citation
David Christensen. Putting logic in its place: formal constraints on rational belief. Oxford University Press, Oxford, 2004 xii + 187 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 534-535
- Print publication:
- December 2005
-
- Article
- Export citation
Anita Burdman Feferman and Solomon Feferman. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, vi + 425 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-540
- Print publication:
- December 2005
-
- Article
- Export citation
Logic, Computability, and Randomness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, p. 557
- Print publication:
- December 2005
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 620-624
- Print publication:
- December 2005
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 560-563
- Print publication:
- December 2005
-
- Article
- Export citation
Partition Theorems and Computability Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-427
- Print publication:
- September 2005
-
- Article
- Export citation
Mathematical Existence
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 351-376
- Print publication:
- September 2005
-
- Article
- Export citation
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 428-438
- Print publication:
- September 2005
-
- Article
- Export citation
Michael Wolff. Abhandlung über die Prinzipien der Logik. V. Klostermann, Frankfurt, 2004, xvi + 318 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 444-445
- Print publication:
- September 2005
-
- Article
- Export citation
2004–05 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 454-460
- Print publication:
- September 2005
-
- Article
- Export citation
Turing Computations On Ordinals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-397
- Print publication:
- September 2005
-
- Article
- Export citation
Games, logic, and constructive sets, edited by G. Mints and R. Muskens, CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii + 128 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 3 / September 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 439-442
- Print publication:
- September 2005
-
- Article
- Export citation