Reports on Mathematical Logic
MI:3.593 H指数:6 影响指数:0.05 年文章数:暂无数据
Journal of Logical and Algebraic Methods in Programming
MI:1.565 H指数:18 影响指数:0.9 年文章数:390
Notre Dame Journal of Formal Logic
MI:1.942 H指数:29 影响指数:0.7 年文章数:995