Mathematical Logic Quarterly

Cover image for Vol. 60 Issue 4-5

Editor: Benedikt Löwe, Klaus Meer, H. Dugald MacPherson (Managing Editors)

Online ISSN: 1521-3870

Associated Title(s): GAMM-Mitteilungen, Mathematische Nachrichten, PAMM, ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Overview



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 60. 6 Issues in 2014.


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, Quarterly, MLQ, Mathematische Logik, Grundlagen der Mathematik, foundations of mathematics, general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, theoretical computer science, computability, complexity, logic, analysis
Abstracting and Indexing Information

  • Academic Search (EBSCO Publishing)
  • Academic Search Alumni Edition (EBSCO Publishing)
  • CompuMath Citation Index (Thomson Reuters)
  • CompuScience Database (FIZ Karlsruhe)
  • Current Index to Statistics (ASA/IMS)
  • INSPEC (IET)
  • Journal Citation Reports/Science Edition (Thomson Reuters)
  • Mathematical Reviews/MathSciNet/Current Mathematical Publications (AMS)
  • Science Citation Index Expanded (Thomson Reuters)
  • SCOPUS (Elsevier)
  • The DBLP Computer Science Bibliography (University of Trier)
  • Web of Science (Thomson Reuters)
  • ZBMATH (Zentralblatt MATH)

SEARCH

SEARCH BY CITATION