期刊名称:MATHEMATICAL LOGIC Quarterly
期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Aims and Scope
Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.
– A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science
ISSN: 0942-5616 (print), 1521-3870 (online)
Volume 56. 6 Issues in 2010.
Masthead (PDF)
Readership
Mathematical logicians, theoretical mathematicians, theoretical computer scientists
Keywords
Arithmetic, Mathematik, mathematics, mathematical, logic, Generel Logic, Model Theory, Recursion, Set Theory, Proof Theory, Constructive Mathematics, Algebraic Logic, Nonstandart Models, Logical Aspects, Theoretical Computer Science
Abstracting and Indexing Information
- Academic Search (EBSCO)
- CompuMath Citation Index® (Thomson ISI)
- CompuScience Database (FIZ Karlsruhe)
- Current Abstracts (EBSCO)
- Current Index to Statistics (ASA/IMS)
- INSPEC (IET)
- Journal Citation Reports/Science Edition (Thomson ISI)
- Mathematical Reviews/MathSciNet/Current Mathematical Publications (AMS)
- Science Citation Index Expanded™ (Thomson ISI)
- SCOPUS (Elsevier)
- Web of Science® (Thomson ISI)
- Zentralblatt MATH/Mathematics Abstracts (FIZ Karlsruhe)
Instructions to Authors
Instructions to authors (short version)
A full description covering the details of manuscript preparation can be found as part of the style sheet package (see the Acceptance Stage section below).
Submission Stage
Only manuscripts written in English, not yet published, and not simultaneously submitted for publication elsewhere will be accepted. Electronic submission is preferred. Only if you are unable to submit your manuscript electronically, should you send it by conventional mail.
Authors should submit their manuscripts electronically via e-mail to mlq@uni-greifswald.de sending as attachment one printable file (pdf or ps) of their manuscript including all the text, tables and figures. This will significantly accelerate the time required for handling and refereeing.
Acceptance Stage
The Editor-in-Chief will send an acceptance message to the corresponding author and, at the same time, will ask for electronic files of text and figures. All portions of the manuscript available in electronic form should be sent to : mlq@uni-greifswald.de. Preferably files conforming to the following guidelines will be accepted:
- LaTeX files coded with the mlq-style sheets available via http://www.wiley-vch.de/vch/journals/2256/public/mlq.zip (also including all necessary additional information on how to use the style sheets)
- figures in Postscript (ps or eps) or tif format should be included as separate files
- supplementary material, for example videos or animations (which will only be published in the online version)
Also accepted:
- LaTeX files coded with the article class without any particular packages or definitions
All files should be archived and compressed into a single file using WinZip or tar.gz before e-mailing. Please note that color figures will generally only remain in color in the electronic version, but will be printed in black/white. Color figures for the printed version can be purchased using the reprint order form.
Proof Correction Stage
Prior to publication, authors will receive page proofs, preferably by e-mail in PDF format. Authors should keep in mind that reading proofs is their responsibility. Corrections should therefore be clear. Corrections listed in an electronic file should be sorted by line numbers. The use of standard proof correction marks is recommended. LaTeX and Word files are sometimes slightly modified by the production department to follow the general presentation rules of the journal. The main aim of proofreading is to correct errors that may have occurred during the production process, and not to modify the content of the paper. The reproduction of art work, the layout of the pages, and breaks in equations introduced by the production staff should carefully be checked. Corrections that may lead to a change in the page layout should be avoided. Note that sending back a corrected manuscript file is of no use. Please correct your galley proofs and return them within 7 days together with the completed reprint order form and the signed copyright agreement. The editors reserve the right to publish your article with editors' corrections if your proofs do not arrive in time.
Reprints
The corresponding author will receive a PDF file (300dpi) for 50 printouts of his contribution free of charge. Hardcopy reprints (at least 50 copies) or a PDF file for an unlimited number of printouts are available for purchase.
Editorial Board
Armin Hemmerling, (Managing Editor)
Ernst-Moritz-Arndt-Universität Greifswald Institut für Mathematik und Informatik Friedrich-Ludwig-Jahn-Str. 15a 17487 Greifswald Germany
e-mail: mlq@uni-greifswald.de
Klaus Ambos-Spies, Heidelberg Marat M. Arslanov, Kazan Günter Asser, Greifswald John T. Baldwin, Chicago Douglas S. Bridges, Canterbury Ramon Jansana, Barcelona Carl G. Jockusch, Urbana Alexander Kechris, Pasadena Ulrich Kohlenbach, Darmstadt H. Dugald Macpherson, Leeds Klaus Meer, Odense Wolfram Pohlers, Münster Pavel Pudlak, Prague Andrzej Roslanowski, Omaha Jörg Rothe, Düsseldorf Wilfried Sieg, Pittsburgh Stephen G. Simpson, State College, PA Martin Weese, Potsdam Klaus Weihrauch, Hagen W. Hugh Woodin, Berkeley
Editorial Assistant:Heike Oberdörfer, Greifswald
|