SCIE
ANNALS OF PURE AND APPLIED LOGIC
Verlagsinformationen sind nicht verfügbar.
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
-
Zitationsmetrik in Scopus
SJR
-
SCImago-Rang
SNIP
-
Source-Normalized Impact
Prozentrang
-
JIF-Perzentilrang
Zeitschriftenprofil
- ISSN
- 0168-0072
- eISSN
- 1873-2461
- Abkürzung
- -
- Verlag
- -
- Land
- -
Web of Science-Kategorien
SCIEAPPLIED, LOGIC, MATHEMATICS
Scopus-ASJC-Kategorien
Keine ASJC-Kategoriedaten verfügbar.
Schlüsselwörter
Mathematics, Applied | Mathematics | Logic
Papers in this journal
Recent papers
- Universal proof theory: Semi-analytic rules and uniform interpolation
2027 · 1 citations
- On the model theory of second-order objects
2027
- The total set-recursive functions of KPl and related systems
2027
- 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