Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic.
Proceedings of the Royal Society is the main research journal of the Royal Society. The journal began in 1831 and was split into two series in 1905:
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
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.
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 (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004. The editor-in-chief is Stefan Milius.
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.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is Julia F. Knight.
The Annales Henri Poincaré is a peer-reviewed scientific journal which collects and publishes original research papers in the field of theoretical and mathematical physics. The emphasis is on "analytical theoretical and mathematical physics" in a broad sense. The journal is named in honor of Henri Poincaré and it succeeds two former journals, Annales de l'Institut Henri Poincaré, physique théorique and Helvetica Physical Acta. It is published by Birkhäuser Verlag. Its first Chief Editor was Vincent Rivasseau, followed by Krzysztof Gawedzki, and the current Chief Editor is Claude-Alain Pillet.
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.
Acta Mathematica is a peer-reviewed open-access scientific journal covering research in all fields of mathematics.
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 2020 impact factor of 1.708 and publishes both original research and review articles. The editor-in-chief is Heinrich Saller.
The Journal of Logic, Language and Information is a quarterly peer-reviewed academic journal covering research on "natural, formal, and programming languages". It is the official journal of the European Association for Logic, Language and Information and was established in 1974. It is published by Springer Science+Business Media and the editor-in-chief is Lawrence S. Moss. According to the Journal Citation Reports, the journal has a 2020 impact factor of 0.829.
The Journal of Mathematical Logic was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications.
Acta Mathematica Hungarica is a peer-reviewed mathematics journal of the Hungarian Academy of Sciences, published by Akadémiai Kiadó and Springer Science+Business Media. The journal was established in 1950 and publishes articles on mathematics related to work by Hungarian mathematicians.
Journal of Mathematical Biology is a peer-reviewed, mathematics journal, published by Springer Verlag. Founded in 1974, the journal publishes articles on mathematical biology. In particular, papers published in this journal 'should either provide biological insight as a result of mathematical analysis or identify and open up challenging new types of mathematical problems that derive from biological knowledge'. It is the official journal of the European Society for Mathematical and Theoretical Biology. The editors-in-chief are Thomas Hillen, Anna Marciniak-Czochra, and Mark Lewis.
Archiv der Mathematik is a peer-reviewed mathematics journal published by Springer, established in 1948.
Archive for History of Exact Sciences is a peer-reviewed academic journal currently published bimonthly 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.
Annals of Operations Research is a peer-reviewed academic journal published by Springer Science+Business Media. It was previously published by Baltzer Science Publishers. The journal publishes 24 issues a year that focus on the theoretical, practical, and computational aspects of operations research. It also publishes periodic special volumes focusing on defined fields of operations research.
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 Curtis Franks and Anand Pillay.
