简称:ARCH MATH LOGIC
ISSN:0933-5846
ESSN:0933-5846
所属分区:4区
出版地:GERMANY
出版周期:8 issues per year
创刊时间:1950
研究方向:MATHEMATICS-LOGIC
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.