Centaurus is a quarterly peer-reviewed academic journal covering research on the history of mathematics, science, and technology. It is the official journal of the European Society for the History of Science. The journal was established in 1950. The present publisher is John Wiley & Sons. The editor-in-chief is Koen Vermeir.
Fundamenta Mathematicae is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems. Originally it only covered topology, set theory, and foundations of mathematics: it was the first specialized journal in the field of mathematics. It is published by the Mathematics Institute of the Polish Academy of Sciences.
The Bulletin of the American Mathematical Society is a quarterly mathematical journal published by the American Mathematical Society.
Algebra i Logika is a peer-reviewed Russian mathematical journal founded in 1962 by Anatoly Ivanovich Malcev, published by the Siberian Fund for Algebra and Logic at Novosibirsk State University. An English translation of the journal is published by Springer-Verlag as Algebra and Logic since 1968. It published papers presented at the meetings of the "Algebra and Logic" seminar at the Novosibirsk State University. The journal is edited by academician Yury Yershov.
Logical Methods in Computer Science is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It was established in 2005. The editor-in-chief is Lars Birkedal.
The Journal of the American Mathematical Society (JAMS), is a quarterly peer-reviewed mathematical journal published by the American Mathematical Society. It was established in January 1988.
Mathematics of Computation is a bimonthly mathematics journal focused on computational mathematics. It was established in 1943 as Mathematical Tables and other Aids to Computation, obtaining its current name in 1960. Articles older than five years are available electronically free of charge.
Inventiones Mathematicae is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. As of 2016, the managing editors are Helmut Hofer and Jean-Benoît Bost.
Proceedings of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages.
The International Journal of Theoretical Physics is a peer-reviewed scientific journal of physics published by Springer Science+Business Media since 1968. According to the Journal Citation Reports, the journal has a 2012 impact factor of 1.086 and publishes both original research and review articles. The editor-in-chief is Heinrich Saller.
The Journal of Philosophical Logic is a peer-reviewed scientific journal founded in 1972. It is published by Springer and "provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical."
The International Journal of Modern Physics is a series of Physics journals published by World Scientific.
The International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems was founded in 1993 and is published bimonthly by World Scientific. It covers research on methodologies for the management of uncertainty. Topics include expositions on methods such as Bayesian and probabilistic methods, nonstandard logic, as well as applications, such as in image processing, conflict resolution, and databases. The journal does not publish papers on pure fuzzy mathematics, such as fuzzy topology or fuzzy algebra.
Mathematical Models and Methods in Applied Sciences is a journal founded in 1991 and published by World Scientific. It covers: mathematical modelling of systems in the applied sciences(physics, mathematical physics, natural, and technological sciences); qualitative and quantitative analysis of mathematical physics and technological sciences; and numerical and computer treatment of mathematical models or real systems.
Advances in Mathematics is a mathematics journal publishing research on pure mathematics. It was founded in 1961 by Gian-Carlo Rota. The journal currently publishes 18 issues each year, in three volumes.
Journal of the European Mathematical Society is a peer-reviewed, mathematics journal published monthly by the European Mathematical Society.
Founded in 1999, the journal publishes articles on pure and applied mathematics.
Semigroup Forum is a mathematics research journal published by Springer. The journal serves as a platform for the speedy and efficient transmission of information on current research in semigroup theory. Coverage in the journal includes: algebraic semigroups, topological semigroups, partially ordered semigroups, semigroups of measures and harmonic analysis on semigroups, transformation semigroups, and applications of semigroup theory to other disciplines such as ring theory, category theory, automata, and logic. Semigroups of operators were initially considered off-topic, but began being included in the journal in 1985.
Archive for History of Exact Sciences is a peer-reviewed academic journal published quarterly by Springer Science+Business Media, covering the history of mathematics and of astronomy observations and techniques, epistemology of science, and philosophy of science from Antiquity until now. It was established in 1960 and the current editors-in-chief are Jed Z. Buchwald and Jeremy Gray.
The Notre Dame Journal of Formal Logic is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Michael Detlefsen and Peter Cholak.
