1. Consistency of a λ-theory withn-tuples and easy term

   • Ying Jiang

   OriginalPaper Pages: 79 - 96

2. Iterated trees and fragments of arithmetic

   • Yue Yang

   OriginalPaper Pages: 97 - 112

3. First-order theories for pure Prolog programs with negation

   • Robert F. Stärk

   OriginalPaper Pages: 113 - 144