The files posted here make it possible to create TEX-files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic  and the Lecture Notes in Logic, which (in particular) publishes the proceedings of meetings of the Association. To use these files, one needs to have LaTeX installed, and to know (reasonably well) how to use it.

Required files:

The documentclass (210 KB):  asl.cls .

The document guide for asl.cls : 
Postscript file, asldoc.ps (17 pages, 300 KB). The complete document.
Texfile, asldoc.tex. This will not compile fully without the proprietary Monotype fonts used by ASL Publications, but it is useful for searching.

The auxiliary document (4 pages):  Postscript file, amsthdoc.ps .

The Bibtex stylefile (80 KB):  asl.bst .

Optional files:

The document guide for amsart (480 KB):  Postscript file, amsldoc.ps .

A list of mathematical symbols available under asl.cls:  Postscript file, aslsyms.ps ,  Texfile, aslsyms.tex .

Sam Buss's package for formal proofs:  bussproofs.sty.

Full names of journals and serials for lists of references in ASL publications, a PDF file posted by the American Mathematical Society.

For comments, bugs, additional information, etc., contact  Yiannis N. Moschovakis,  ynm@math.ucla.edu .

Last updated September 14, 2000.
(Minor bug corrected in eqnarray environment in asl.cls, please update.)

The Tables of Contents and Postscript files of The Bulletin of Symbolic Logic have been moved to  www.math.ucla.edu/~asl/bsltoc.htm . Please correct your bookmarks.

---