1635 results in Bulletin of Symbolic Logic
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 525-526
- Print publication:
- December 2016
-
- Article
- Export citation
RUSSELL AND GÖDEL
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 504-520
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
M. Carrara, A. Arapinis, and F. Moltmann, editors. Unity and Plurality: Logic, Philosophy, and Linguistics. Oxford University Press, 2016.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 530-532
- Print publication:
- December 2016
-
- Article
- Export citation
2015 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’15 Helsinki, Finland August 3–8, 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 366-435
- Print publication:
- September 2016
-
- Article
- Export citation
Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 353-354
- Print publication:
- September 2016
-
- Article
- Export citation
USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 305-331
- Print publication:
- September 2016
-
- Article
- Export citation
Valerio Capraro and Martino Lupini, Introduction to Sofic and Hyperlinear Groups and Connes’ Embedding Conjecture, Lecture Notes in Mathematics, vol. 2136, Springer International Publishing, Switzerland, 2015, viii + 151 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 356-358
- Print publication:
- September 2016
-
- Article
- Export citation
BSL volume 22 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. f1-f3
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
MODEL THEORY AND GROUPS, ISTANBUL 5 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey October 8–10, 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, p. 438
- Print publication:
- September 2016
-
- Article
- Export citation
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 358-360
- Print publication:
- September 2016
-
- Article
- Export citation
RELATIVIZING OPERATIONAL SET THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 332-352
- Print publication:
- September 2016
-
- Article
- Export citation
IN MEMORIAM: BARRY COOPER 1943–2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 361-365
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
BSL volume 22 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. b1-b2
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
22ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bloomington, Indiana July 20–23, 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 436-437
- Print publication:
- September 2016
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 439-444
- Print publication:
- September 2016
-
- Article
-
- You have access
- Export citation
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing. pp. 20–33. - Andrew R. Booker. Turing and the Primes. pp. 34–52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53–77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78–89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92–105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106–116. - Solomon Feferman. Turing’s ‘Oracle’: From Absolute to Relative Computability and Back. pp. 300–334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335–360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361–378.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 354-356
- Print publication:
- September 2016
-
- Article
- Export citation
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 288-289
- Print publication:
- June 2016
-
- Article
- Export citation
EARLY BOLZANO ON GROUND-CONSEQUENCE PROOFS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 215-237
- Print publication:
- June 2016
-
- Article
- Export citation
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 170-214
- Print publication:
- June 2016
-
- Article
- Export citation
DEEP
${\rm{\Pi }}_1^0 $ CLASSES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 249-286
- Print publication:
- June 2016
-
- Article
- Export citation