- 首页
- 产品推荐个人精选服务科研辅助服务教育大数据服务行业精选服务学科系列服务产品服务
- 期刊大全
- 充值
- 会员
- 职称材料
- 首页
- 产品服务
- 知识脉络
- 期刊大全
- 充值
- 会员
- 职称材料
搜期刊
刊名
文献信息
- 任意字段
- 主题词
- 篇关摘
- 篇名
- 关键词
- 摘要
- 作者
- 第一作者
- 作者单位
- 刊名
- 中图分类号
- 学科分类号
- DOI
- 基金
投稿预审
Archive for Mathematical Logic
中科院4区 JCR:Q4 SCIE PubMed JST
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.
- 主办单位： SPRINGER HEIDELBERG
- 出版地区： HEIDELBERG
- 出版周期： 双月刊
- 别名： ARCH MATH LOGIC;Arch. Math. Log.;数学逻辑档案;ARCHIVE FOR MATHEMATICAL LOGIC
- 国际标准连续出版物号/电子版： ISSN 0933-5846 / EISSN 1432-0665
- 创刊时间： 1950年
- 曾用名： Archiv für mathematische Logik und Grundlagenforschung
热门主题：
Set TheoryReverse MathematicsS TheoremModel TheoryAxiom of ChoiceCompleteness TheoremSequent CalculusArithmeticIntuitionistic LogicMathematical LogicPrimitive RecursivePropositional LogicBoolean AlgebraLinear OrdersProof TheoryOrdinal AnalysisConstructive MathematicsModal LogicContinuum HypothesisOrder Theory
期刊信息
- 主办单位：SPRINGER HEIDELBERG
- 地 址： HEIDELBERG
期刊简介
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.