Logicism, intuitionism, and formalism

2009

herausgegeben vonErik Palmgren Krister Segerberg

Dordrecht, Springer