Journal of Symbolic Logic - Submissions
Articles being submitted for publication in The Journal of Symbolic Logic should be sent to one and only one of the following editors. See the JSL Guidelines for information on the format of submissions.
Any other material, including items for the BSL Reviews section, should be sent to the JSL editors at:
Association for Symbolic Logic
Box 742, Vassar College
Poughkeepsie, NY 12604, USA
Alessandro Berarducci (Coordinating Editor)
Dipartimento di Matematica
Universita' di Pisa
Largo Bruno Pontecorvo 5
56127 Pisa, Italia
"I will consider papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."
Mathematische Grundlagen der Informatik
D-52056 Aachen, Germany
"I will handle papers related to logic in computer science (in a broad sense). I prefer electronic submissions in postscript or pdf as an attachment to an email message. "
School of Mathematics, Statistics and Operations Research
Victoria University of Wellington
PO Box 600
Wellington 6140 New Zealand
"I can handle papers in computability theory, algorithmic randomness, and reverse mathematics. I prefer electronic submissions."
Department of Mathematics & Statistics
1280 Main Street W.
Hamilton, Ontario, Canada L8S 4K1
"Please send papers in model theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."
Inst. für mathematische Logik und Grundlagenforschung
Univ. at Münster
48149 Münster, Germany
"I will handle papers in set theory. I prefer electronic submissions in the form of .ps or .pdf files being attached to your email."
Dept. of Mathematics
National University of Singapore
2 Science Dr. 2
Singapore 117543, Republic of Singapore
"I can handle submissions in recursion theory, algorithmic randomness, inductive inference and reverse mathematics. Electronic submission by email is preferred; papers should be transmitted as ps-files, dvi-files, latex-files or pdf-files; in the case of latex-files, everything should be in one source file without other files to be required except perhaps one style-file."
Dept. of Computer Science
Sandford Fleming Bldg.
10 King's College Rd.
Univ. of Toronto, Toronto, Ontario M5S 3G4, Canada
"I handle papers on complexity of proofs and algorithms for the JSL. I will also consider papers in non-classical logic for both the JSL and the Review of Symbolic Logic (RSL) but authors should be aware that many but not all papers in non-classical logic fall within the purview of the RSL (see the statements of scope on the JSL and RSL web statements). I prefer electronic submissions in postscript or pdf as an attachment to an email message."
Équipe de Logique Mathématique
Université Paris Diderot Paris 7
UFR de mathématiques case 7012, site Chevaleret
75205 Paris Cedex 13, France
"I consider papers in set theory and its applications to topology, analysis, algebra, etc. I prefer electronic submissions of .pdf or.ps files."
Krijgslaan 281 - Gebouw S22, B9000 Gent, Belgium
"I will consider papers in proof theory. I prefer electronic submission of .pdf files as email attachments. I can also handle .ps and .dvi files."