Representation and extension of states on MV-algebras TomአKroupa OriginalPaper 06 June 2005 Pages: 381 - 392
Decision methods for linearly ordered Heyting algebras Roy DyckhoffSara Negri OriginalPaper 10 November 2005 Pages: 411 - 422
On constants and the strict order property Predrag Tanović OriginalPaper 10 November 2005 Pages: 423 - 430
Upper bounds on complexity of Frege proofs with limited use of certain schemata Pavel Naumov OriginalPaper 06 December 2005 Pages: 431 - 446
Herbrand's theorem and term induction Matthias BaazGeorg Moser OriginalPaper 28 December 2005 Pages: 447 - 503
C-Quasi-Minimal enumeration degrees below c' Boris Solon OriginalPaper 06 December 2005 Pages: 505 - 517
