SCIE
ANNALS OF PURE AND APPLIED LOGIC
Publisher information is not available.
Identifiers, indexing coverage, and citation metrics for the academic journal ANNALS OF PURE AND APPLIED LOGIC. Identifiers: ISSN 0168-0072, eISSN 1873-2461. Indexed in SCIE. Subject areas: APPLIED, LOGIC, MATHEMATICS. tlooto lists 226 papers from this journal.
CiteScore
-
Scopus citation metric
SJR
-
SCImago rank
SNIP
-
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0168-0072
- eISSN
- 1873-2461
- Abbreviation
- -
- Publisher
- -
- Country
- -
Web of Science categories
SCIEAPPLIED, LOGIC, MATHEMATICS
Scopus ASJC categories
No ASJC category data available.
Keywords
Mathematics, Applied | Mathematics | Logic
Papers in this journal
Recent papers
- On the model theory of second-order objects
2027
- The total set-recursive functions of KPl and related systems
2027
- Universal proof theory: Semi-analytic rules and uniform interpolation
2027 · 1 citations
- Existentially closed prime-model extensions of Abelian lattice-ordered groups
2027
- Categorical-algebraic aspects of Heyting semilattices
2027
Most cited papers
- Proof Theory and Logical Complexity
1989 · 435 citations
- What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory
1991 · 118 citations
- Dialogues, strategies, and intuitionistic provability
1985 · 78 citations
- Weak axioms of determinacy and subsystems of analysis II (∑02 games)
1991 · 54 citations
- Ann. Pure Appl. Logic
1997 · 47 citations