| 1 |
Journal of Mathematical Logic
|
0219-0613 |
1793-6691 |
1 区
|
| 2 |
BULLETIN OF SYMBOLIC LOGIC
|
1079-8986 |
1943-5894 |
1 区
|
| 3 |
HISTORY AND PHILOSOPHY OF LOGIC
|
0144-5340 |
1464-5149 |
2 区
|
| 4 |
Review of Symbolic Logic
|
1755-0203 |
1755-0211 |
2 区
|
| 5 |
Logic and Logical Philosophy
|
1425-3305 |
2300-9802 |
2 区
|
| 6 |
THEORY AND PRACTICE OF LOGIC PROGRAMMING
|
1471-0684 |
1475-3081 |
2 区
|
| 7 |
Studia Logica
|
0039-3215 |
1572-8730 |
2 区
|
| 8 |
Australasian Journal of Logic
|
1448-5052 |
1448-5052 |
3 区
|
| 9 |
Notre Dame Journal of Formal Logic
|
0029-4527 |
1939-0726 |
3 区
|
| 10 |
MATHEMATICAL LOGIC QUARTERLY
|
0942-5616 |
1521-3870 |
3 区
|
| 11 |
ANNALS OF PURE AND APPLIED LOGIC
|
0168-0072 |
1873-2461 |
3 区
|
| 12 |
Algebra and Logic
|
0002-5232 |
1573-8302 |
3 区
|
| 13 |
JOURNAL OF SYMBOLIC LOGIC
|
0022-4812 |
1943-5886 |
3 区
|
| 14 |
Journal of Logical and Algebraic Methods in Programming
|
2352-2208 |
2352-2216 |
3 区
|
| 15 |
ACM Transactions on Computational Logic
|
1529-3785 |
1557-945X |
3 区
|
| 16 |
ARCHIVE FOR MATHEMATICAL LOGIC
|
0933-5846 |
1432-0665 |
4 区
|
| 17 |
Logica Universalis
|
1661-8297 |
1661-8300 |
4 区
|
| 18 |
Bulletin of the Section of Logic
|
0138-0680 |
2449-836X |
4 区
|
| 19 |
Journal of Logic and Analysis
|
1759-9008 |
1759-9008 |
4 区
|
| 20 |
Journal of Logic Language and Information
|
0925-8531 |
1572-9583 |
4 区
|
