INTRODUCTION
BROUWER, AS NEVER READ BY HUSSERL*
GöDEL,CARNAP AND THE FREGEAN HERITAGE
TRUTH, PROOFS AND FUNCTIONS
THE RUSSELLIAN INFLUENCE ON HILBERT AND HIS SCHOOL
WITTGENSTEIN AND BROUWER*
ON THE MEANING OF HILBERT'S CONSISTENCY PROBLEM (PARIS,1900)
THE PRAGMATISMOF HILBERT'S PROGRAMME
HILBERT'S PROGRAM REVISITED
PSYCHOLOGISM AND METALOGIC
REREADING GENTZEN
THE PRACTICE OF FINITISM
WHAT IS CARNAP'S CONVENTIONALISM AFTER ALL?