The Bulletin of Symbolic Logic, Volume 1

Volume 1, Number 1, March 1995

• Richard A. Shore:
  The Bulletin of Symbolic Logic. 1-3
  Electronic Edition (link) BibTeX
• Guidelines for logic education. 4-8
  Electronic Edition (link) BibTeX

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

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

Volume 1, Number 2, June 1995

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

• Steffen Lempp, Manuel Lerman:
  A general framework for priority arguments. 189-201
  Electronic Edition (link) BibTeX

Volume 1, Number 3, September 1995

• Martin Davis:
  American logic in the 1920s. 273-278
  Electronic Edition (link) BibTeX
• Chris Freiling:
  How to compute antiderivatives. 279-316
  Electronic Edition (link) BibTeX

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

Volume 1, Number 4, December 1995

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

• Michael Rathjen:
  Recent advances in ordinal analysis: pi¹₂ -- CA and related systems. 468-485
  Electronic Edition (link) BibTeX