Paul Bernays
2 Publications
Paul Bernays, Philosophie des mathématiques
Introduction et traduction de Hourya Bénis Sinaceur
2004
Revue philosophique de Louvain 102 (3)
The practice of finitism
epsilon calculus and consistency proofs in Hilbert's program
2003
Synthese 137
2 Publications