The Bulletin of Symbolic Logic, Volume 5

Volume 5, Number 1, March 1999

• Wilfried Sieg:
  Hilbert's programs: 1917--1922. 1-44
  Electronic Edition (link) BibTeX

• Reed Solomon:
  Ordered groups: a case study in reverse mathematics. 45-58
  Electronic Edition (link) BibTeX

Volume 5, Number 2, June 1999

• Alexander S. Kechris:
  New directions in descriptive set theory. 161-174
  Electronic Edition (link) BibTeX
• Alfred Tarski, Steven Givant:
  Tarski's system of geometry. 175-214
  Electronic Edition (link) BibTeX

• Peter W. O'Hearn, David J. Pym:
  The logic of bunched implications. 215-244
  Electronic Edition (link) BibTeX
• Orna Kupferman, Moshe Y. Vardi:
  Church's problem revisited. 245-263
  Electronic Edition (link) BibTeX
• Joel David Hamkins:
  Gap forcing: Generalizing the Lévy-Solovay theorem. 264-272
  Electronic Edition (link) BibTeX

Volume 5, Number 3, September 1999

• Gabriel Uzquiano:
  Models of second-order Zermelo set theory. 289-302
  Electronic Edition (link) BibTeX
• Paolo Mancosu:
  Between Russell and Hilbert: Behmann on the foundations of mathematics. 303-330
  Electronic Edition (link) BibTeX
• Richard Zach:
  Completeness before Post: Bernays, Hilbert, and the development of propositional logic. 331-366
  Electronic Edition (link) BibTeX

• Stanley S. Wainer:
  Accessible recursive functions. 367-388
  Electronic Edition (link) BibTeX

Volume 5, Number 4, December 1999

• Volker Peckhaus:
  19th century logic between philosophy and mathematics. 433-450
  Electronic Edition (link) BibTeX
• I. Susan Russinoff:
  The syllogism's final solution. 451-469
  Electronic Edition (link) BibTeX

• Jindrich Zapletal:
  Terminal notions. 470-478
  Electronic Edition (link) BibTeX