• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

德国
投稿预审
Mathematical Logic Quarterly 中科院4区 JCR:Q4 SCIE JST
发文量 3,364
被引量 20,668

Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.

  • 主办单位： WILEY-V C H VERLAG GMBH
  • 出版地区： WEINHEIM
  • 出版周期： 连续出版
  • 别名： MATH LOGIC QUART;Math. Log. Q.;MATHEMATICAL LOGIC QUARTERLY;数理逻辑学报
  • 国际标准连续出版物号/电子版： ISSN 0942-5616 / EISSN 1521-3870
  • 创刊时间： 1993年
热门主题：

自然数集合微积分学布尔代数集合理论递归可枚举集模型理论选择公理Heyting代数直觉主义逻辑克里普克模型反推数学递归理论逻辑工具俄语篇章构造性数学递推函数算术学代数学量化器莫利定理

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
目录
封面
2025年4期
共：1篇
2025年4期

2025年4期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号