1. Reducibility of formulae of weak second order arithmetic to pseudo-canonical forms

   • Reinhold Kołodziej

   OriginalPaper Pages: 233 - 258

2. Expressibility of propositions in -languages

   • Pavel Materna

   OriginalPaper Pages: 259 - 271

3. On quantity of logical values in the discussive D₂ system and in modular logic

   • Jerzy Kotas

   BriefCommunication Pages: 273 - 275

4. The decomposition calculus and its semantics

   • Metoděj K. Chytil

   OriginalPaper Pages: 277 - 281

5. Semantical analyses of propositional systems of Fitch and Nelson

   • Richard Routley

   OriginalPaper Pages: 283 - 298

6. A uniform proof procedure for SCI tautologies

   • Aileen Michaels

   OriginalPaper Pages: 299 - 310

7. Reviews

   • Witold Marciszewski
   • Tadeusz Kubiński

   BookReview Pages: 311 - 316