The Bulletin of Symbolic Logic, Volume 1

Volume 1, Number 1, March 1995

• Richard A. Shore:
  The Bulletin of Symbolic Logic. 1-3
  
• Guidelines for logic education. 4-8
  

• Joseph R. Shoenfield:
  The mathematical work of S. C. Kleene. 9-43
  
• Charles D. Parsons:
  Platonism and mathematical intuition in Kurt Gödel's thought. 44-74
  

• John R. Steel:
  HOD^L(R) is a core model below \Theta. 75-84
  

Volume 1, Number 2, June 1995

• Dirk van Dalen:
  Herman Weyl's intuitionistic mathematics. 145-169
  
• Noa Goldring:
  Measures: back and forth between point sets and large sets. 170-188
  

• Steffen Lempp, Manuel Lerman:
  A general framework for priority arguments. 189-201
  

Volume 1, Number 3, September 1995

• Martin Davis:
  American logic in the 1920s. 273-278
  
• Chris Freiling:
  How to compute antiderivatives. 279-316
  

• George Boolos:
  Frege's theorem and the Peano postulates. 317-326
  
• Itay Neeman:
  Optimal proofs of determinacy. 327-339
  

Volume 1, Number 4, December 1995

• Ronald B. Jensen:
  Inner models and large cardinals. 393-407
  
• Thomas Jech:
  Singular cardinals and the PCF theory. 408-424
  
• Alasdair Urquhart:
  The complexity of propositional proofs. 425-467
  

• Michael Rathjen:
  Recent advances in ordinal analysis: pi¹₂ -- CA and related systems. 468-485
  

Last update Sat May 25 19:41:48 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page