The Bulletin of Symbolic Logic, Volume 3

Volume 3, Number 1, March 1997

• Paul C. Eklof:
  Set theory generated by Abelian group theory. 1-16
  Electronic Edition (link) BibTeX
• Jeremy Avigad, Richard Sommer:
  A model-theoretic approach to ordinal analysis. 17-52
  Electronic Edition (link) BibTeX

• Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi:
  On the decision problem for two-variable first-order logic. 53-69
  Electronic Edition (link) BibTeX

Volume 3, Number 2, June 1997

• Richard A. Shore:
  Alonzo Church. 153-
  Electronic Edition (link) BibTeX

• Wilfried Sieg:
  Step by recursive step: Church's analysis of effective calculability. 154-180
  Electronic Edition (link) BibTeX
• Henk Barendregt:
  The impact of the lambda calculus in logic and computer science. 181-215
  Electronic Edition (link) BibTeX
• José M. Sagüillo:
  Logical consequence revisited. 216-241
  Electronic Edition (link) BibTeX

Volume 3, Number 3, September 1997

• Akihiro Kanamori:
  The mathematical import of Zermelo's well-ordering theorem. 281-311
  Electronic Edition (link) BibTeX
• Jim Lambek:
  Programs, grammars and arguments: a personal view of some connections between computation, language and logic. 312-328
  Electronic Edition (link) BibTeX

• Greg Hjorth, Alexander S. Kechris:
  New dichotomies for Borel equivalence relations. 329-346
  Electronic Edition (link) BibTeX
• Guy McCusker:
  Games and definability for FPC. 347-362
  Electronic Edition (link) BibTeX

Volume 3, Number 4, December 1997

• Abbas Edalat:
  Domains for computation in mathematics, physics and exact real arithmetic. 401-452
  Electronic Edition (link) BibTeX

• Sy D. Friedman, Peter Koepke:
  An elementary approach to the fine structure of L. 453-468
  Electronic Edition (link) BibTeX
• Martin Hofmann:
  An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. 469-486
  Electronic Edition (link) BibTeX