Annals of pure and applied logic. North Holland, Amsterdam-New York
Depuis le volume 56 (1992).
Non renouvelé en 1996 .
Sommaires et résumés disponibles sur le serveur Elsevier Science.