Year:

Forthcoming articles
  1. Fernando Ferreira (forthcoming). 6th Conference on Computability in Europe" Programs, Proofs, Processes". Bulletin of Symbolic Logic 17 (3):478-479.
     
    My bibliography  
     
    Export citation  
  2. Juliette Kennedy (forthcoming). Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy. [REVIEW] Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  3. Rod Downey (forthcoming). Twelfth Asian Logic Conference. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. A. S. L. Commitee on Logic and Education (forthcoming). Guidelines for Logic Education. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Solomon Feferman (forthcoming). 2005 Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  6. M. Hallett (forthcoming). Hilbert on Number, Geometry and Continuity. Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  7. Bradd Hart (forthcoming). 2012 North American Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Stephen W. Hawking (forthcoming). Cohen and Set Theory. Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  9. Juliette Kennedy (forthcoming). The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Symbolic Logic (forthcoming). What is Neologicism? Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  11. Françoise Point (forthcoming). Definability in Valued Ore Modules. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Michael Rathjen (forthcoming). Recent Advances in Ordinal Analysis. Bulletin of Symbolic Logic.
    Ordinal-theoretic proof theory came into existence in 1936, springing forth from Gentzen's head in the course of his consistency proof of arithmetic. Gentzen fostered hopes that with sufficiently large constructive ordinals one could establish the consistency of analysis, i.e., second order arithmetic. The purpose of the present paper is, in general, the report the state of the art of ordinal analysis and, in particular, the recent success in obtaining an ordinal analysis for a strong subsystem of second order arithmetic, which (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Michael Rathjen (forthcoming). 2010 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'10. Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  14. Deirdre Haskell Denis Hirschfeldt Andre Scedrov & Ralf Schindler (forthcoming). Full-Text of Current Issues of The Bulletin of Symbolic Logic and The Journal of Symbolic Logic is Available to All ASL Members Electronically Via Project Euclid. Individual Members Who Wish to Gain Access Should Follow These Instructions: 11) Go to Http://Projecteuclid. Org:(2) in The'for Subscribers" Tab. Click on" Log in for Existing Subscribers':(3) Click on" Create a Profile Here" in the Center of the Login Page:(4) Till in at Least the Required Fields. [REVIEW] Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  15. Philip Scowcroft (forthcoming). 2011-2012 Winter Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. C. Steinsvold & R. Parikh (forthcoming). A Modal Analysis of Some Phenomena in Child Psychology. Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation