ANNALS OF PURE AND APPLIED LOGIC is a premier academic journal published by Elsevier, specializing in the foundational aspects of logic since its inception in 1974. With a strong commitment to disseminating original research, the journal focuses on both pure and applied logic, making significant contributions to the fields of mathematics and computer science. The journal is recognized for its rigorous peer-review process and is currently ranked Q1 in Logic, reflecting its status among the top-tier publications in the discipline. Researchers will find valuable insights and advancements in logical theory and practice in its pages, while the journal's Scopus ranking further positions it strategically within the mathematical logic community. Although it is not an open-access publication, it offers convenient access options for institutions and subscribers, ensuring a wide reach for groundbreaking findings. The ANNALS OF PURE AND APPLIED LOGIC continues to be an essential resource for professionals, students, and academics alike, facilitating a deeper understanding of logical frameworks and their applications.

International Journal of Computer Mathematics - Computer Systems Theory, published by Taylor & Francis Ltd, is a vital resource in the fields of computational mathematics and computer systems theory. With an ISSN of 2379-9927 and E-ISSN 2379-9935, this journal has established a prominent presence in academia since its inception in 2016. It is categorized in the Q3 quartile for both Computational Mathematics and Computational Theory in 2023, reflecting its impact and contribution to the scholarly discourse within these domains. The journal’s Scopus rankings further emphasize its academic relevance, placing it in the 38th and 33rd percentiles in their respective categories. International Journal of Computer Mathematics aims to disseminate innovative research findings, methodologies, and theoretical advancements, making it an essential publication for researchers, professionals, and students looking to deepen their understanding of computational methods and applications. Although it currently does not offer open access, the journal continues to provide insightful contributions to the scientific community, fostering the evolution of computational sciences.

Welcome to the SIAM Journal on Computing, a premier publication of SIAM Publications dedicated to advancing the field of computational science. Established in 1984, this journal provides a platform for groundbreaking research and theoretical advancements that shape the landscape of both Computer Science and Mathematics. With an impressive impact factor and consistently ranking in Q1 quartiles for its categories, the journal remains an essential resource for scholars looking to contribute to innovative computational theories and methodologies. Although not currently an open-access journal, the SIAM Journal on Computing offers rigorous peer-reviewed articles, ensuring high-quality contributions that appeal to researchers, professionals, and students alike. As we converge towards 2024, this journal continues to play a vital role in influencing future research directions and fostering an academic community devoted to the exploration of computational challenges. Join us in exploring the forefront of computing research!

The JOURNAL OF SYMBOLIC LOGIC, published by Cambridge University Press, stands as a leading platform for scholarly discourse in the realms of logic and philosophy. With a rich history dating back to 1938, this esteemed journal is dedicated to presenting cutting-edge research that pushes the boundaries of knowledge within symbolic logic and its applications. In 2023, it proudly holds a distinguished Q1 ranking in both Logic and Philosophy categories, reflecting its high impact and relevance in the academic community. Researchers and academics benefit from its rigorous peer-review process and contributions from leading scholars worldwide, ensuring the dissemination of high-quality research and critical theories. While the journal currently does not operate under an open access model, it remains a pivotal resource for professionals seeking to deepen their understanding of logical theories and philosophical inquiries. Explore the JOURNAL OF SYMBOLIC LOGIC to engage with scholarly articles that challenge conventional thought and inspire future research.

Pure and Applied Mathematics Quarterly is a prestigious journal published by INT PRESS BOSTON, INC, focusing on the diverse and evolving field of mathematics. Since its inception in 2007, this journal has grown significantly, currently holding a Q1 ranking in the Mathematics (Miscellaneous) category for 2023, positioning it among the leading publications in the discipline. With a commitment to publishing high-quality research, Pure and Applied Mathematics Quarterly fosters innovation and dialogue within the mathematical community by providing a platform for theoretical advancements and practical applications. The journal remains accessible to researchers and professionals through its ISSN 1558-8599 and E-ISSN 1558-8602, although it does not currently offer open access. As a vital resource for mathematicians, educators, and students, this journal endeavors to expand the frontiers of mathematical knowledge and contribute to the academic dialogue surrounding this fundamental science.

Notre Dame Journal of Formal Logic is a premier academic publication dedicated to the advancement of research in the field of logical studies. Published by DUKE UNIVERSITY PRESS, this journal has been a significant contributor to the discipline since its inception in 1960, with an impressive convergence of scholarly articles expected to continue through 2024. With its focus on rigorous formal logic, the journal plays a crucial role in fostering discussions that bridge mathematics and philosophical inquiry, holding a notable Q2 ranking in the 2023 Logic category. Despite its non-open-access status, the journal reaches a wide audience of researchers, professionals, and students committed to exploring the foundational aspects of logics. Located in Durham, NC, it provides a platform for innovative thought and critical engagement within the logic community. With its impactful contributions, the Notre Dame Journal of Formal Logic stands as a vital resource for those seeking to deepen their understanding of both classic and contemporary logical theories.

The Mediterranean Journal of Mathematics, published by SPRINGER BASEL AG, is a prominent platform dedicated to the advancement of mathematical research and education. Since its inception in 2004, this journal has been pivotal in disseminating high-quality research across various fields of mathematics, currently holding a notable Q2 ranking in the miscellaneous mathematics category as of 2023. With its ISSN 1660-5446 and E-ISSN 1660-5454, the journal enjoys a respected position in the academic community, evident by its Scopus rank of 129 out of 399 in General Mathematics, placing it in the 67th percentile. While primarily a subscription-based journal, it remains committed to providing a comprehensive resource for researchers, professionals, and students, fostering dialogue and exploration within the mathematical sciences. The Mediterranean Journal of Mathematics, based in Basel, Switzerland, continues to contribute significantly to the evolution of mathematical theory and practice, marking its relevance as we approach its 20th anniversary in 2024.

Moscow University Mathematics Bulletin is a distinguished academic journal published by Springer International Publishing AG, focusing on the dynamic field of mathematics. With an ISSN of 0027-1322 and an E-ISSN of 1934-8444, this journal serves as a platform for innovative research and developments in various mathematics sub-disciplines, making significant contributions to both theoretical and applied mathematics. While it holds a Q3 ranking in the field of Mathematics (miscellaneous) for 2023, this journal remains dedicated to fostering academic discourse among mathematicians. Researchers, professionals, and students will find value in the diverse range of articles that embody rigor and creativity. Although currently not an Open Access publication, the journal provides numerous access options through institutional or personal subscriptions. From its inception in 2007 to its expected continuity until 2024, the Moscow University Mathematics Bulletin is committed to enhancing the understanding and appreciation of mathematical sciences.

THEORY OF COMPUTING SYSTEMS, published by SPRINGER, is a renowned journal that has been a cornerstone in the fields of computational theory and theoretical computer science since its inception in 1996. With an ISSN of 1432-4350 and an E-ISSN of 1433-0490, this journal is committed to disseminating high-quality research that explores the underlying principles of computing systems and their theoretical foundations. Positioned in the Q2 category for both Computational Theory and Mathematics and Theoretical Computer Science, it plays a vital role in advancing scholarly dialogue and innovation within these disciplines, as evidenced by its rankings within the Scopus index. Researchers and professionals can access this journal in various formats, ensuring that cutting-edge research is readily available for a global audience. With a clear focus on fostering interdisciplinary collaboration and exploring emerging trends, THEORY OF COMPUTING SYSTEMS is essential reading for anyone interested in the evolution of computing theory and its applications.

Groups Complexity Cryptology, published by EPISCIENCES, is an esteemed Open Access journal that has been contributing to the fields of Applied Mathematics, Computational Mathematics, Computational Theory, and Computer Networks and Communications since its inception in 2009. With its headquarters located in France, this journal serves as a crucial platform for disseminating innovative research and solutions in cryptology and related areas. As of 2023, it proudly holds Q4 rankings across several categories in Scopus, indicating its recognized, yet emerging position within the academic community. Additionally, it is indexed under various categories such as Applied Mathematics, where it ranks in the 24th percentile, showcasing its potential for growth and increased visibility among researchers. The journal adheres to an open-access model introduced in 2020, allowing for widespread accessibility and engagement with cutting-edge research. This enhances the journal's mission to foster academic communication and collaboration among researchers, professionals, and students interested in the complex interplay of groups, complexity, and cryptography.