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