The Bulletin of Symbolic Logic

Volume 3, Issue 4, December, 1997


Articles
  • Domains for computation in mathematics, physics and exact real arithmetic, by Abbas Edalat, pages 401 -- 452.

  • Communications
  • An elementary approach to the fine structure of L, by Sy D. Friedman and Peter Koepke, pages 453 -- 468.
  • An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras, by Martin Hofmann, pages 469 -- 486.

  • Meetings sponsored by the Association
  • 7th Scandinavian Logic Symposium, Uppsala, Sweden, August 18--20, 1996, pages 487 -- 488.

  • List of officers and committees of the Association for Symbolic Logic, pages 489 -- 492.
  • List of members of the Association for Symbolic Logic, pages 493 -- 532.
  • Notices, pages 533 -- 536.
  • Errata, pages 537 -- 537.

  • 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.