1. Editorial note

   EditorialNotes Pages: 123 - 123

2. Remarks on the foundational inquiry

   • Ettore Casari

   OriginalPaper Pages: 125 - 137

3. Mathematical logic: Tool and object lesson for science

   • Georg Kreisel

   OriginalPaper Pages: 139 - 151

4. Remarks on some approaches to the concept of logical consequence

   • Dag Prawitz

   OriginalPaper Pages: 153 - 171

5. Proof theory and complexity

   • Carlo Cellucci

   OriginalPaper Pages: 173 - 189

6. Introduction to _Π2 ¹ -logic

   • Jean-Yves Girard

   OriginalPaper Pages: 191 - 216

7. Choice sequences and informal rigour

   • A. S. Troelstra

   OriginalPaper Pages: 217 - 227

8. Working foundations

   • Solomon Feferman

   OriginalPaper Pages: 229 - 254

9. Proof theory and set theory

   • Gaisi Takeuti

   OriginalPaper Pages: 255 - 263

10. The success of Mathematics

    • Roberto Magari

    OriginalPaper Pages: 265 - 274

11. Foundational problems from computation theory

    • Gabriele Lolli

    OriginalPaper Pages: 275 - 288

12. Is nonstandard analysis relevant for the philosophy of mathematics?

    • Jens Erik Fenstad

    OriginalPaper Pages: 289 - 301

13. Some foundational problems in mathematics suggested by physics

    • Maria Luisa Dalla Chiara

    OriginalPaper Pages: 303 - 315

14. Announcement

    Announcement Pages: 316 - 316