Annals of pure and applied logic

Computability theory / guest ed.: Douglas Cenzer, Jeffrey B. Remmelschema:ProductModel Conference on computability theory : 27 January - 3 February 1996, Oberwolfach, Germany / guest eds. Klaus Ambos-Spies, Theodore A. Slaman, Robert I. Soareschema:ProductModel Festschrift on the occasion of Professor Rohit Parikh's 60th birthday / guest-ed.: Melvin Fitting, Konstantinos Georgatos, R. Ramanujamschema:ProductModel Invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation, 20-24 March 1994, Berne, Switzerland / ed. by: S. Artemov ... [et al.]schema:ProductModel Papers presented at the International Symposium on Mathematical Logic and its Applications, Nagoya, Japan, November 7-11, 1988 / ed.: Juichi Shinoda and Tosiyuki Tugueschema:ProductModel Papers presented at the Meeting on "Stability in Model Theory II", held in Trento on July 13-17, 1987 / ed.: J.T. Baldwin, A. Marcjaschema:ProductModel Proceedings of the workshop on proof theory and complexity PTAC'98, University of Aarhus, Denmark, August 3-7, 1998 / guest-ed. Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskelschema:ProductModel Stability in model theory / ed. by A. Prestelschema:ProductModel