Volume 1, Number 1, March 1995

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

Articles

• 
  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

Communications

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

Volume 1, Number 2, June 1995

Articles

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

Communications

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

Volume 1, Number 3, September 1995

Articles

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

Communications

• 
  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

Articles

• 
  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

Communications

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