ASL (Association for Symbolic Logic) Links 22
http://www.press.uillinois.edu/journals/jsl/renew.html
ASL renew ASL membership, journals
Main Branches of Logic: Set Theory, Model Theory, Computability
Theory, Proof Theory
For background information on logic and the prizes and special lectures
(Sacks prize, Karp prize, Goedel Lectures) see
Association for Symbolic Logic (ASL).
For a list of winners of the Sacks prize for the best Ph.D. thesis in
logic in a given year 1994-2003 see
Sacks Prize recipients.
Prospects for mathematical logic in the 21st Century
At the 2000 Centennial Meeting of the ASL a panel was held on the
prospects for logic in twenty-first century with panelists, Sam Buss,
Anand Pillay, Richard Shore, and Alexander Kechris. This was published
in the Bulletin of Symbolic Logic 7 (2001), 169-196.
Copies may be found at:
prospects.ps
and
prospects.dvi