LOGIC 逻辑学 2020

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