Annals of Pure and Applied Logic

Title Publication Date Language Citations
Author index1989/05/01English
Forcing in nonstandard analysis1994/08/01English
Polynomial games and determinacy1996/07/01English
Rings of monoids elementarily equivalent to polynomial rings1994/07/01English
Editorial board1993/08/01English
Editorial1990/01/01English
Farewell and welcome1983/07/01English
Incomparable prime ideals of recursively enumerable degrees1993/08/01English
On ∑1 and ∏1 sentences and degrees of interpretability1993/05/01English
On p-reducibility of numerations1993/08/01English
Δ12-sets of reals1989/05/01English
Systems of combinatory logic related to Quine's ‘New Foundations’1991/07/01English
Degrees of orderings not isomorphic to recursive linear orderings1991/04/01English
Author index Volume 29 (1985)1985/11/01English
Quantifier elimination for modules with scalar variables1992/05/01English
Author index volume 27 (1984)1984/11/01English
The complexity of Horn fragments of Linear Logic1994/10/01English
Regularity properties of definable sets of reals1985/11/01English
Infinite games played on finite graphs1993/12/01English
Regressive partition relations, n-subtle cardinals, and Borel diagonalization1991/04/01English
General iteration and unary functions1991/11/01English
Separations of theories in weak bounded arithmetic1995/01/01English
Preface1993/08/01English
The sequentially realizable functionals2002/10/01English
Π10 classes and minimal degrees1997/09/01English
Ramified systems1994/12/01English
Editorial Board1989/10/01English
Recursive properties of relations on models1993/09/01English
Positive modal logic beyond distributivity2024/02/01English
Indestructibility of some compactness principles over models of PFA2024/01/01English