Logicism, Intuitionism, and Formalism
Subtitle: What Has Become of Them?
Publisher: Springer
Published: 2009
Language: eng
ISBN-13: 9781402089268
Subjects: Intuitionistic mathematics; Mathematics, philosophy; Constructive mathematics