thumbnail

Annals of Pure and Applied Logic

SCOPUS (1974,1983-2025)SCIE-ISI

  0168-0072

 

 

 

Cơ quản chủ quản:  Elsevier

Lĩnh vực:
Logic

Phân tích ảnh hưởng

Các bài báo tiêu biểu

Proof theory in the abstract
Tập 114 Số 1-3 - Trang 43-78 - 2002
J. M. E. Hyland
Proof theory for theories of ordinals—I: recursively Mahlo ordinals
Tập 122 - Trang 1-85 - 2003
Toshiyasu Arai
Equational theory of positive numbers with exponentiation is not finitely axiomatizable
Tập 49 Số 1 - Trang 1-30 - 1990
R. Gurevič
Towers in [ω]ω and ωω
Tập 45 - Trang 247-276 - 1989
Peter Lars Dordal
Equilibrium points of an AND–OR tree: Under constraints on probability
Tập 166 - Trang 1150-1164 - 2015
Toshio Suzuki, Yoshinao Niida
Decidability and the number of countable models
Tập 27 - Trang 137-153 - 1984
Terrence Millar
Ramsey classes of topological and metric spaces
Tập 143 Số 1-3 - Trang 147-154 - 2006
Jaroslav Nešetřil
Interpolation theorems for intuitionistic predicate logic
Tập 113 - Trang 225-242 - 2001
G. Mints
Reverse mathematics and properties of finite character
Tập 163 - Trang 1243-1251 - 2012
Damir D. Dzhafarov, Carl Mummert
Borel reductions of profinite actions of SLn(Z)
Tập 161 - Trang 1270-1279 - 2010
Samuel Coskey
Chỉ số ảnh hưởng
Số bài báo
2
Số trích dẫn
0
Avg. Citation
0
Impact Factor (IF)
0
H-index
0
H-index (5 năm)
0
i10
0
i10-index (5 năm)
0
Chỉ mục cơ sở dữ liệu
Scopus - Elsevier

Index Years: 1974,1983-2025

Xem chi tiết

ISI/SCIE - Science Citation Index Expanded

Xem chi tiết

Các tạp chí khác
Tạp chí Truyền nhiễm Việt Nam
VNU Journal of Science: Mathematics - Physics
Tạp chí Y - Dược học quân sự
VNU Journal of Science: Earth and Environmental Sciences
Tạp chí Tai Mũi Họng Việt Nam
Tạp chí Khoa học và Công nghệ - Đại học Đà Nẵng
Journal of International Economics and Management
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí tin học và điều khiển học
Tạp chí Nghiên cứu Chính sách và Quản lý