|
期刊名称 |
ISSN |
影响因子
|
Pindex |
|
Reports on Mathematical Logic
|
0137-2904 |
0.061 |
0.211 |
|
MATHEMATICAL LOGIC QUARTERLY
|
0942-5616 |
0.383 |
0.822 |
|
ARCHIVE FOR MATHEMATICAL LOGIC
|
0933-5846 |
0.392 |
0.385 |
|
ACM Transactions on Computational Logic
|
1529-3785 |
0.566 |
0.901 |
|
HISTORY AND PHILOSOPHY OF LOGIC
|
0144-5340 |
0.579 |
0.202 |
|
Algebra and Logic
|
0002-5232 |
0.580 |
0.006 |
|
BULLETIN OF SYMBOLIC LOGIC
|
1079-8986 |
0.653 |
0.474 |
|
JOURNAL OF SYMBOLIC LOGIC
|
0022-4812 |
0.656 |
0.078 |
|
Logical Methods in Computer Science
|
1860-5974 |
0.672 |
0.158 |
|
Review of Symbolic Logic
|
1755-0203 |
0.673 |
0.211 |
|
Notre Dame Journal of Formal Logic
|
0029-4527 |
0.770 |
0.211 |
|
Studia Logica
|
0039-3215 |
0.770 |
0.211 |
|
JOURNAL OF LOGIC AND COMPUTATION
|
0955-792X |
0.782 |
0.483 |
|
Journal of Logic Language and Information
|
0925-8531 |
0.851 |
0.950 |
|
Logica Universalis
|
1661-8297 |
0.878 |
0.085 |
|
ANNALS OF PURE AND APPLIED LOGIC
|
0168-0072 |
0.879 |
0.615 |
|
Journal of Logical and Algebraic Methods in Programming
|
2352-2208 |
0.955 |
0.958 |
|
Journal of Mathematical Logic
|
0219-0613 |
0.965 |
0.510 |
|
LOGIC JOURNAL OF THE IGPL
|
1367-0751 |
1.065 |
0.127 |
|
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING
|
1542-3980 |
1.400 |
0.138 |
|
THEORY AND PRACTICE OF LOGIC PROGRAMMING
|
1471-0684 |
1.460 |
0.211 |
