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. Portico
    21. ProQuest
    22. SCImago
    23. SCOPUS
    24. Science Citation Index Expanded (SCIE)
    25. TD Net Discovery Service
    26. The Philosopher’s Index
    27. UGC-CARE List (India)
    28. Wanfang
    29. zbMATH
    Copyright information

    Rights and permissions

    Springer policies

    © Springer-Verlag GmbH Germany, part of Springer Nature

    Navigation