1. Representation and extension of states on MV-algebras

   • TomአKroupa

   OriginalPaper 06 June 2005 Pages: 381 - 392

2. Small Π⁰ ₁ Classes

   • Stephen Binns

   OriginalPaper 10 November 2005 Pages: 393 - 410

3. Decision methods for linearly ordered Heyting algebras

   • Roy Dyckhoff
   • Sara Negri

   OriginalPaper 10 November 2005 Pages: 411 - 422

4. On constants and the strict order property

   • Predrag Tanović

   OriginalPaper 10 November 2005 Pages: 423 - 430

5. Upper bounds on complexity of Frege proofs with limited use of certain schemata

   • Pavel Naumov

   OriginalPaper 06 December 2005 Pages: 431 - 446

6. Herbrand's theorem and term induction

   • Matthias Baaz
   • Georg Moser

   OriginalPaper 28 December 2005 Pages: 447 - 503

7. C-Quasi-Minimal enumeration degrees below c'

   • Boris Solon

   OriginalPaper 06 December 2005 Pages: 505 - 517