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
Interpolation theorems for intuitionistic predicate logic
Tập 113 - Trang 225-242 - 2001
G. Mints
Ramsey classes of topological and metric spaces
Tập 143 Số 1-3 - Trang 147-154 - 2006
Jaroslav Nešetřil
A completeness result for the simply typed λμ-calculus
Tập 161 - Trang 109-118 - 2009
Karim Nour, Khelifa Saber
Borel reductions of profinite actions of SLn(Z)
Tập 161 - Trang 1270-1279 - 2010
Samuel Coskey
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem
Tập 163 - Trang 981-985 - 2012
Josef Berger
A characterization of generalized existential completions
Tập 174 Số 4 - Trang 103234 - 2023
Maria Emilia Maietti, Davide Trotta
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
Tạp chí Y - Dược học quân sự
Tạp chí Khoa học - Công nghệ trong lĩnh vực An toàn thông tin
Tạp chí Khoa học Xã hội và Nhân văn
Tạp chí Da liễu học Việt Nam
VNU JOURNAL OF ECONOMICS AND BUSINESS
Tạp chí Khoa học Sức khoẻ Đại học Quốc gia Thành phố Hồ Chí Minh
Tạp chí Khoa học Đào tạo & Huấn luyện thể thao
Tạp chí khoa học tài nguyên và môi trường
Dalat University Journal of Science