LOGIC 逻辑学 2023

每页
# 刊名 ISSN EISSN 新锐分区
1 Journal of Mathematical Logic 0219-0613 - 1 区
2 ANNALS OF PURE AND APPLIED LOGIC 0168-0072 - 1 区
3 Review of Symbolic Logic 1755-0203 - 2 区
4 Journal of Logical and Algebraic Methods in Programming 2352-2208 - 2 区
5 JOURNAL OF SYMBOLIC LOGIC 0022-4812 - 2 区
6 THEORY AND PRACTICE OF LOGIC PROGRAMMING 1471-0684 - 2 区
7 Studia Logica 0039-3215 - 2 区
8 ACM Transactions on Computational Logic 1529-3785 - 3 区
9 Algebra and Logic 0002-5232 - 3 区
10 BULLETIN OF SYMBOLIC LOGIC 1079-8986 - 3 区
11 Notre Dame Journal of Formal Logic 0029-4527 - 3 区
12 ARCHIVE FOR MATHEMATICAL LOGIC 0933-5846 - 3 区
13 MATHEMATICAL LOGIC QUARTERLY 0942-5616 - 4 区
14 Journal of Logic Language and Information 0925-8531 - 4 区
15 HISTORY AND PHILOSOPHY OF LOGIC 0144-5340 - 4 区
16 Logica Universalis 1661-8297 - 4 区
17 LOGIC JOURNAL OF THE IGPL 1367-0751 - 4 区
18 JOURNAL OF LOGIC AND COMPUTATION 0955-792X - 4 区
19 Reports on Mathematical Logic 0137-2904 - 4 区
20 Logical Methods in Computer Science 1860-5974 - 4 区