1. On Herbrand consistency in weak arithmetic

   • Zofia Adamowicz
   • Paweł Zbierski

   Pages: 399 - 413

2. On the filter of computably enumerable supersets of an r-maximal set

   • Steffen Lempp
   • André Nies
   • D. Reed Solomon

   Pages: 415 - 423

3. On the weak Freese–Nation property of ?(ω)

   • Sakaé Fuchino
   • Stefan Geschke
   • Lajos Soukupe

   Pages: 425 - 435

4. Leibniz filters and the strong version of a protoalgebraic logic

   • Josep Maria Font
   • Ramon Jansana

   Pages: 437 - 465

5. Boolean deductive systems of BL-algebras

   • Esko Turunen

   Pages: 467 - 473