Annals of Pure and Applied Logic, Volume 100

Volume 100, Numbers 1-3, 15 October 1999

• Alessandra Carbone: Duplication of Directed Graphs and Exponential Blow Up of Proofs. 1-67
• Stevo Todorcevic, Jouko A. Väänänen: Trees and Ehrenfeucht-Fraïssé Games. 69-97
• Marcus Kracht: Lattices of Modal Logics and Their Groups of Automorphisms. 99-139
• Andreas Blass, Yuri Gurevich, Saharon Shelah: Choiceless Polynomial Time. 141-187
• Chris Pollett: Structure and Definability in General Bounded Arithmetic Theories. 189-245
• Olivier Bastonero, Xavier Gouy: Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. 247-277