Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen

Logicism, Intuitionism, and Formalism - 2009 - Springer Netherlands 2009 - Synthese Library .

9781402089268


Mathematics and Statistics