Bulletin of Symbolic Logic

Publisher: Association for Symbolic Logic

The Bulletin of Symbolic Logic was established 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 a wide audience.

Current Issue All Issues

Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001)

Ruy J. G. B. de Queiroz. (2002)

[Omnibus Review]

Howard S. Becker. (2002)

2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24—27, 2011

(2012)

6th Conference on Computability in Europe “Programs, proofs, processes", University of Azores, Ponta Delgada, Azores, Portugal June 30—July 4, 2010

(2011)

Notices, Bull. Symbolic Logic 16, iss. 3 (2010)

(2010)

Subscribe to Project Euclid

Receive Email Alerts

Eighth Workshop on Logic, Language, Information and Computation (WoLLIC '2001)

[Omnibus Review]

2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24—27, 2011

6th Conference on Computability in Europe “Programs, proofs, processes", University of Azores, Ponta Delgada, Azores, Portugal June 30—July 4, 2010

Notices, Bull. Symbolic Logic 16, iss. 3 (2010)

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS