The Bulletin of Symbolic Logic

Volume 8, Issue 1, March 2002

Articles

  • The problem of logical constants, by Mario G'omez-Torrente, pages 1 -- 37.
    •

    Communications

  • Groups and algebras of nary relations, by Steven Givantt and Hajnal Andr'eka, pages 38 -- 64.
  • Fixed point logics, by Anuj Dawar and Yuri Gurevich, pages 65 -- 88.
    •
  • Reviews,  pages 89 -- 104.
    •  In this issue:
  • S. Shapiro, Thinking about mathematics, reviewed by Mark Balaguer, page 89.
  • H. Woodin, The axiom of determinacy, forcing axioms, and the nonstationary ideal , reviewed by Paul B. Larson, page 91.
  • Four papers on descriptive set theory, reviewed by Howard S. Becker, page 94.
  • Papers from Advances in modal logic, Volume 1, reviewed by Edwin D. Mares, page 95.
  • F. Sommers and G. Englebretsen, An invitation to formal reasoning, reviewed by William C. Purdy, page 97.
  • A. Urquhart, The complexity of linear logic with weakening, reviewed by Herman Ruge Jervell, page 100.
  • R. Epstein and W. Carnielli, Computability, reviewed by Carlos Augusto Di Prisco, page 101.
  • M. Davis, Engines of logic, reviewed by John W. Dawson, page 104.
  • A. Feferman, From Trotsky to G"odel, reviewed by H. B. Enderton, page 104.
    •

    Obituaries

  • In memoriam: Willard van Orman Quine, 1908--2000, by Dagfinn Follesdal and Charles Parsons, pages 105 -- 110.
    •

    Meetings of the Association

  • 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01, Vienna, Austria, August 6--11, 2001, pages 111 -- 180.
    •
  • Notices, pages 181 -- 184.
    •
    The Association for Symbolic Logic holds the Copyright to the articles in the Bulletin of Symbolic Logic, and these articles cannot be reprinted without permission from the Association. They can be downloaded from this site for personal and educational uses only.