1. Finitude and Hume’s Principle

   • Richard G. Heck

   OriginalPaper Pages: 589 - 617

2. Relations in Monadic Third-Order Logic

   • A. P. Hazen

   OriginalPaper Pages: 619 - 628

3. Marti on Descriptions in Carnap'S S2

   • Michael Kremer

   OriginalPaper Pages: 629 - 634

4. Provability in Principle and Controversial Constructivistic Principles

   • Leon Horsten

   OriginalPaper Pages: 635 - 660

5. A Constructive Formulation of Gleason's Theorem

   • Helen Billinge

   OriginalPaper Pages: 661 - 670

6. Indexed systems of sequents and cut-elimination

   • Grigori Mints

   OriginalPaper Pages: 671 - 696