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