Articles
CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE
 Published online by Cambridge University Press: 29 March 2016, pp. 1104

 Article
 Export citation
USING ALMOSTEVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS
 Published online by Cambridge University Press: 10 October 2016, pp. 305331

 Article
 Export citation
OPEN QUESTIONS ABOUT RAMSEYTYPE STATEMENTS IN REVERSE MATHEMATICS
 Published online by Cambridge University Press: 05 July 2016, pp. 151169

 Article
 Export citation
MAXIMAL COMPUTABILITY STRUCTURES
 Published online by Cambridge University Press: 30 December 2016, pp. 445468

 Article
 Export citation
RELATIVIZING OPERATIONAL SET THEORY
 Published online by Cambridge University Press: 10 October 2016, pp. 332352

 Article
 Export citation
GÖDEL’S NOTRE DAME COURSE
 Published online by Cambridge University Press: 30 December 2016, pp. 469481

 Article

 You have access
 Export citation
THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
 Published online by Cambridge University Press: 29 March 2016, pp. 105120

 Article
 Export citation
LATTICEORDERED ABELIAN GROUPS AND PERFECT MVALGEBRAS: A TOPOSTHEORETIC PERSPECTIVE
 Published online by Cambridge University Press: 05 July 2016, pp. 170214

 Article
 Export citation
Communication
LINEAR TIME IN HYPERSEQUENT FRAMEWORK
 Published online by Cambridge University Press: 29 March 2016, pp. 121144

 Article
 Export citation
Articles
EARLY BOLZANO ON GROUNDCONSEQUENCE PROOFS
 Published online by Cambridge University Press: 05 July 2016, pp. 215237

 Article
 Export citation
ISOMORPHISM INVARIANCE AND OVERGENERATION
 Published online by Cambridge University Press: 30 December 2016, pp. 482503

 Article

 You have access
 Export citation
Reviews
Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp.
 Published online by Cambridge University Press: 10 October 2016, pp. 353354

 Article
 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.
 Published online by Cambridge University Press: 10 October 2016, pp. 354356

 Article
 Export citation
Articles
RUSSELL AND GÖDEL
 Published online by Cambridge University Press: 30 December 2016, pp. 504520

 Article

 You have access
 Export citation
Notices
Notices
 Published online by Cambridge University Press: 29 March 2016, pp. 145150

 Article

 You have access
 Export citation
Articles
COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM
 Published online by Cambridge University Press: 05 July 2016, pp. 238248

 Article
 Export citation
Front Cover (OFC, IFC) and matter
BSL volume 22 issue 1 Cover and Front matter
 Published online by Cambridge University Press: 29 March 2016, pp. f1f3

 Article

 You have access
 Export citation
Articles
DEEP ${\rm{\Pi }}_1^0 $ CLASSES
 Published online by Cambridge University Press: 05 July 2016, pp. 249286

 Article
 Export citation
Reviews
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.
 Published online by Cambridge University Press: 10 October 2016, pp. 356358

 Article
 Export citation
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343.
 Published online by Cambridge University Press: 30 December 2016, pp. 521524

 Article
 Export citation