The Gallery
Formalism in the philosophy of mathematics
Haskell Curry
Rudolf Carnap
1