Stable theories without dense forking chains Bernhard HerwigJames G. LoveysO. Wagner OriginalPaper Pages: 297 - 303
Remarks on Herbrand normal forms and Herbrand realizations Ulrich Kohlenbach OriginalPaper Pages: 305 - 317
Bounds for cut elimination in intuitionistic propositional logic Jörg Hudelmaier OriginalPaper Pages: 331 - 353