Introduction

Juliette Kennedy, Paul-Gabriel Sandu

1-1

Brouwer, as never read by Husserl

Mark Van Atten

3-19

Gödel, Carnap and the Fregean heritage

Gabriella Crocco

21-41

Truth, proofs and functions

Jean Fichot

43-58

The Russellian influence on Hilbert and his school

Paolo Mancosu

59-101

Wittgenstein and Brouwer

Mathieu Marion

103-127

On the meaning of Hilbert's consistency problem (Paris, 1900)

Enrico Moriconi

129-139

The pragmatism of Hilbert's programme

Volker Peckhaus

141-156

Hilbert's program revisited

Panu Raatikainen

157-177

Psychologism and metalogic

Jan Woleński

179-193

Rereading Gentzen

Jan von Plato

195-209

The practice of finitism

epsilon calculus and consistency proofs in Hilbert's program

Richard Zach

211-259

What is Carnap's conventionalism after all?

Norma Yunez-Naude

261-272