Annals of Pure and Applied Logic
SCOPUS (1972,1974,1983-2024)SCIE-ISI
0168-0072
Cơ quản chủ quản: Elsevier
Lĩnh vực:
Logic
Các bài báo tiêu biểu
Equational theory of positive numbers with exponentiation is not finitely axiomatizable
Tập 49 Số 1 - Trang 1-30 - 1990
Equilibrium points of an AND–OR tree: Under constraints on probability
Tập 166 - Trang 1150-1164 - 2015
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem
Tập 163 - Trang 981-985 - 2012