1. Category theory based on combinatory logic

   • M. W. Bunder

   OriginalPaper Pages: 1 - 16

2. Constructive analysis and thermodynamics formulations

   • Antonino Drago

   OriginalPaper Pages: 17 - 21

3. Pa-Beweisbare ∀∃-Formeln

   • Werner Mellis

   OriginalPaper Pages: 23 - 48

4. ϱ-inaccessible ordinals, collapsing functions and a recursive notation system

   • Gerhard Jäger

   OriginalPaper Pages: 49 - 62

5. Minimalα-hyperdegrees

   • C. T. Chong

   OriginalPaper Pages: 63 - 71

6. Spielquantorinterpretation unstetiger Funktionale der höheren Analysis

   • Wolfgang Friedrich

   OriginalPaper Pages: 73 - 99

7. Eine Logik vager Sätze

   • Franz von Kutschera

   OriginalPaper Pages: 101 - 118

8. Amorphe Potenzen kompakter Räume

   • Norbert Brunner

   OriginalPaper Pages: 119 - 135

9. The arithmetic and Turing degrees are not elementarily equivalent

   • Richard A. Shore

   OriginalPaper Pages: 137 - 139

10. Functorial bounds for cut elimination inL _βω . I

    • Marie-Christine Ferbus

    OriginalPaper Pages: 141 - 158

11. A possibility-free logic of descriptions

    • Ermanno Bencivenga

    OriginalPaper Pages: 159 - 165

12. Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs

    • J. Y. Girard
    • J. Vauzeilles

    OriginalPaper Pages: 167 - 191