Skip to main content
Log in

Overview

Founded in 1950, Archive for Mathematical Logic publishes research papers and occasionally surveys or expositions on mathematical logic.

  • Welcomes contributions from other related areas like theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role.
  • Addresses logicians, mathematicians, computer scientists, and philosophers interested in the applications of mathematical logic.
  • This is a transformative journal, you may have access to funding.

    Managing Editor
    • Ralf Schindler
    Impact factor
    0.3 (2022)
    5 year impact factor
    0.5 (2022)
    Submission to first decision (median)
    40 days
    Downloads
    65,701 (2023)

    Latest articles

    Journal updates

    Journal information

    Electronic ISSN
    1432-0665
    Print ISSN
    0933-5846
    Abstracted and indexed in
    1. ACM Digital Library
    2. ANVUR
    3. BFI List
    4. Baidu
    5. CLOCKSS
    6. CNKI
    7. CNPIEC
    8. Current Contents/Physical, Chemical and Earth Sciences
    9. DBLP
    10. Dimensions
    11. EBSCO
    12. ERIH PLUS
    13. Google Scholar
    14. INSPEC
    15. Japanese Science and Technology Agency (JST)
    16. Mathematical Reviews
    17. Naver
    18. OCLC WorldCat Discovery Service
    19. PhilPapers
    20. Philosopher’s Index
    21. Portico
    22. ProQuest
    23. SCImago
    24. SCOPUS
    25. Science Citation Index Expanded (SCIE)
    26. TD Net Discovery Service
    27. UGC-CARE List (India)
    28. Wanfang
    29. zbMATH
    Copyright information

    Rights and permissions

    Editorial policies

    © Springer-Verlag GmbH Germany, part of Springer Nature

    Navigation