The Bulletin of Symbolic Logic

Volume 2, Issue 3, September 1996


Articles
  • Deductive completeness, by Kosta Dosen, pages 243 -- 283.
  • Computability and recursion, by Robert I. Soare, pages 284 -- 321.

  • Communications
  • Linear logic proof games and optimization, by Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov, pages 322 --338.
  • Analytic ideals, by Slawomir Solecki, pages 339 -- 348.
  • A note on the completeness of Kozen's axiomatisation of the propositional $\mu$-calculus, by Igor Walukiewicz, pages 349 --366.

  • Obituaries
  • In memoriam: Robin Oliver Gandy, 1919--1995, by Yiannis Moschovakis and Mike Yates, pages 367 -- 370.
  • In memoriam: Vladimir Aleksandrovich Smirnov, 1931--1996, by V. L. Vasyukov, pages 371 -- 372.
  • George Boolos, President of the Association for Symbolic Logic, page 373.

  • Meetings sponsored by the Association
  • 3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador (Bahia), Brazil, May 8 -- 10, 1996, page 374.

  • Notices, pages 375 -- 377.

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