Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic was established by the Association for Symbolic Logic to provide a journal of high standards to keep the logic community informed quickly of important developments in all parts of the discipline, and to be accessible and of interest to as wide an audience as possible.

Volume 15, Issue 3

Publication Date: September 2009

Article

Enumerating types of Boolean functions

Alasdair Urquhart; 273-299

Communication

Isomorphism types of maximal cofinitary groups

Bart Kastermans; 300-319

Reviews

Reviews, Bull. Symbolic Logic 15, iss. 3 (2009)

320-325

Obituary

In memoriam: Leon Albert Henkin, 1921—2006

J. Donald Monk; 326-331

Meetings

XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, May 11—17, 2008

332-376

15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16—18, 2008

377-378

Notices

Notices Bull. Symbolic Logic 15, iss. 3 (2009)

379-383