"Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)" - читать интересную книгу автора (Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen)