Annals of Pure and Applied Logic

Well-ordering proofs for Martin-Lof type theory
pp. 113-159(47)
Author: Setzer A.

Is there a set of reals not in K(R)?
pp. 161-210(50)
Author: Cunningham D.W.

Choice principles in hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35-52
pp. 211-214(4)
Authors: Forti M.; Honsell F.

Arity and alternation in second-order logic
pp. 215-215(1)
Authors: Makowsky J.A.; Pnueli Y.B.