期刊名称：ANNALS OF PURE AND APPLIED LOGIC
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
The Annals of Pure and Applied Logic publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic. The Annals serves primarily but not exclusively as a vehicle for the publication of papers too long to be published promptly by other journals, but too short to form a separate book.
Instructions to Authors
Contributions, which should be in English, may be submitted to any editor, preferably in electronic form. Final decision for publication will be taken by a Managing Editor.
Each paper should be introduced by a (short) self-contained abstract without long formulas.
Upon acceptance of an article, the author(s) will be asked to transfer copyright of the article to the publisher. This transfer will ensure the widest possible dissemination of information.
No page charge is made. Please note that typesetting costs of author's corrections in proof, other than the printer's errors, will be charged to the author.
The manuscript should be prepared for publication in accordance with the instructions given below:
. The manuscript must be typed on one side of the paper in double spacing with wide margins. A duplicate copy should be retained by the author.
. Papers submitted to the journal should include short abstracts, keywords and subject code classifications in accordance with current AMS procedures. The author's postal address, e-mail address, telephone number and fax number should also be provided.
. References should be listed alphabetically, typed in the same format as the main text, preferably in the same way as the following examples:
For a book: Heyting, Intuitionism, 2nd ed. (North-Holland, Amsterdam, 1966).
For a paper in a journal: A. Mostowski, On computable sequences, Fund. Math. 44 (1957) 37-51.
For a contribution to a contributed volume: G. Kreisel, Mathematical logic, in: T.L. Saaty, ed., Lectures on Modern Mathematics, vol. III (Wiley, New York, 1968).
For an unpublished paper: G.E. Reyes, Typical and generic relations in a Baire space of models, Ph.D. Thesis, Univ. of California, Berkeley, CA (1967).
. The Elsevier LaTeX package (including detailed instructions for LaTeX preparation) can be obtained from Elsevier's web site: http://www.elsevier.nl/locate/latex, or http://www.elsevier.com/locate/latex, or http://www.elsevier.co.jp/locate/latex.
The Elsevier package consists of the files: elsart.cls (use this file if you are using LaTeX2e, the current version of LaTeX), elsart.sty and elsart12.sty (use these two files if you are using LaTeX2.09, the previous version of LaTeX), instraut.dvi and/or instraut.ps and/or instraut.pdf (instruction booklet), model-harv.tex or model-num.tex (model files with instructions), template-harv.tex or template-num.tex (template files).
Papers submitted to Annals of Pure and Applied Logic may also be posted on The Mathematics Preprint Server (http://www.mathpreprints.com). Posting on The Mathematics Preprint Server is in conformity with Elsevier Science copyright policy and in no way conflicts with submission to Annals of Pure and Applied Logic.
Editorial Board
Managing Editors:
Moerdijk, (co-ordinating Editor) Mathematisch Instituut, Rijksuniversiteit Utrecht, Postbus 80.010, 3508 TA Utrecht, The Netherlands. Email: moerdijk@math.uu.nl
S.N. Artemov, CUNY Graduate Center, Computer Science, Ph.D. Program in Computer Science, 365 Fifth Avenue, #4309, New York NY 10016, USA Tel: +1 212 817 8661, Email: sartemov@gc.cuny.edu
J.-Y. Girard, CNRS, Institut de Mathématiques de Luminy, UPR 9016, 163 Avenue de Luminy, Case 930, 13288 Marseille Cedex 09, France. Email: girard@lmd.univ-mrs.fr
T. Jech, Center for Theoretical Study, Jilska 1, 110 00 Praha 1, Czech Republic. Email: jech@.math.cas.cz
A. Kechris, Caltech, Pasadena, CA, USA Email: kechris@caltech.edu
Ph.G. Kolaitis, University of California, Computer Science Department, Santa Cruz, CA 95064, USA; (Logic and Computer Science) Email: kolaitis@cse.ucsc.edu
A. Scedrov, University of Pennsylvania, Department of Mathematics, 209 South 33rd Street, Philadelphia, PA 19104-6395, USA. Email: scedrov@saul.cis.upenn.edu
R.I. Soare, University of Chicago, Department of Mathematics, 5734 University Ave, IL 60637-1546, USA (Computability Theory, Recursion in Logic). Email: soare@cs.uchicago.edu
A.J. Wilkie, University of Oxford, Mathematical Institute, 24-29 St.Giles, Oxford, UK; Fax: +44 1865 273583, Email: wilkie@maths.oxford.ac.uk
Advisory Editors:
Blass, Univ. of Michigan, Mathematics Dept., Ann Arbor, MI 49109-1109, USA
W. Buchholz, Mathematisches Institut der Ludwig-Maximilians-Universität, Theresienstr. 39, D-80333 München, Germany
S.R. Buss, University of California, Departments of Mathematics & Computer Science, San Diego, La Jolla, CA 92093-0112, USA
P. Dehornoy, Lab. SDAD, Mathematiques BP 5186, Universite Campus 2, 14032 Caen, France
J.M.E. Hyland, Centre for Mathematical Sciences, Dept. of Pure Math. and Math. Stat., Wilberforce Road, Cambridge, CB3 0WB, UK
J. Krajicek, Mathematical Institute, Academy of Science, Zitna 25, Prague 115 67, Czech Republic
D. Marker, Department of Mathematics, University of Illinois at Chicago, 851 S. Morgan Street, Chicago, IL 60607, USA
U. Martin, Univ. of St. Andrews, School of Computer Science, North Haugh, St. Andrews, KY 16 6SS, UK
L. Pacholski, Univ. Wroclawski, Inst. Informatyki, Przesmychiego 20, 51-151 Wroclaw, Poland
P.J. Scott, Univ. of Ottawa, Dept. of Mathematics and Statistics, 585 King Edward, Ottawa, Ontario, Canada K1N 6N5
Editors Emeriti:
C.C. Chang
D. van Dalen
J.E. Fenstad
Y. Gurevich
J. Hartmanis
K. Kunen
A. Mostowski
A. Nerode
A. Prestel
M.O. Rabin
H. Roger Jr.
|
刊名字顺( Alphabetical List of Journals):
返回页首 