The Bulletin of Symbolic Logic, Volume 8

Volume 8, Number 1, March 2002

• Mario Gómez-Torrene:
  The problem of logical constants. 1-37
  Electronic Edition (link) BibTeX

• Steven Givant, Hajnal Andréka:
  Groups and algebras of nary relations. 38-64
  Electronic Edition (link) BibTeX
• Anuj Dawar, Yuri Gurevich:
  Fixed point logics. 65-88
  Electronic Edition (link) BibTeX

Volume 8, Number 2, June 2002

• Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  Types in logic and mathematics before 1940. 185-245
  Electronic Edition (link) BibTeX
• Peter Schroeder-Heister:
  Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. 246-265
  Electronic Edition (link) BibTeX

• Lars Birkedal:
  A general notion of realizability. 266-282
  Electronic Edition (link) BibTeX
• Itay Ben-Yaacov, Ivan Tomasic, Frank O. Wagner:
  The group configuration in simple theories and its applications. 283-298
  Electronic Edition (link) BibTeX

Volume 8, Number 3, September 2002

• Mark van Atten, Dirk van Dalen:
  Arguments for the continuity principle. 329-347
  Electronic Edition (link) BibTeX
• Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux:
  Provability with finitely many variables. 348-379
  Electronic Edition (link) BibTeX
• Eric Rosen:
  Some aspects of model theory and finite structures. 380-403
  Electronic Edition (link) BibTeX
• Jaakko Hintikka:
  Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. 404-423
  Electronic Edition (link) BibTeX

Volume 8, Issue 4, December, 2002

• Valentina S. Harizanov:
  Computability-theoretic complexity of countable structures. 457-477
  Electronic Edition (link) BibTeX
• R. Gregory Taylor:
  Zermelo's Cantorian theory of systems of infinitely long propositions. 478-515
  Electronic Edition (link) BibTeX