期刊名称:MATHEMATICAL LOGIC Quarterly

ISSN:0942-5616
出版频率:Bimonthly
出版社:WILEY-V C H VERLAG GMBH, POSTFACH 101161, WEINHEIM, GERMANY, 69451
  出版社网址:http://onlinelibrary.wiley.com/
期刊网址:http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870
影响因子:0.165(2015)
主题范畴:Logic;    MATHEMATICS

期刊简介(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.
  • Electronic submission:
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

Copyright © 2014 武汉大学图书馆 版权所有