Archive for Mathematical Logic (AML)

Archive for Mathematical Logic is an international, peer‑reviewed scientific journal dedicated to publishing quality research in mathematical logic and its interfaces with related fields. Founded in 1950, the journal focuses on original research papers, occasional surveys, and expository contributions that advance theoretical and foundational aspects of logic. Its subject range includes set theory, model theory, proof theory, recursion theory, and applications of logic in computer science and philosophy, provided the works employ rigorous logical methods. The journal welcomes contributions that explore theoretical advances, novel methods, and deep structural insights in logic as a mathematical discipline, making it relevant not only to logicians but also to mathematicians, theoretical computer scientists, and philosophers interested in logical foundations. With an established history spanning over seven decades, Archive for Mathematical Logic combines historical depth with ongoing developments in logic research and is indexed in major abstracting and indexing services including Mathematical Reviews, Zentralblatt MATH, Scopus, and the Science Citation Index Expanded. As a hybrid journal, it supports both traditional subscription access and open access options for authors.

Archive for Mathematical Logic (AML) is :-

• International, Peer-Reviewed, Open Access, Refereed, General Computer Science, Mathematics (miscellaneous), set theory, model theory, proof theory, recursion theory, and applications of logic in computer science and philosophy , Online or Print , Bi-Monthly Journal

• UGC Approved, ISSN Approved: P-ISSN P-ISSN: 0933-5846, E-ISSN: 1432-0665, Established: 1950, Impact Factor: 0.4
• Does Not Provide Crossref DOI

• Not indexed in Scopus, WoS, DOAJ, PubMed, UGC CARE