1. States on Pseudo MV-Algebras

   • Anatolij Dvurečenskij

   OriginalPaper Pages: 301 - 327

2. Finding Missing Proofs with Automated Reasoning

   • Branden Fitelson
   • Larry Wos

   OriginalPaper Pages: 329 - 356

3. A Calculus of Substitutions for DPL

   • C. Vermeulen

   OriginalPaper Pages: 357 - 387

4. Book Reviews

   BookReview Pages: 389 - 420

5. Contents of Volume 68

   Volume Contents Pages: 421 - 422

6. Trends in Logic

   Instructions for Authors Pages: 423 - 424