TY  - BOOK
AU  - Lindstrom Sten
AU  - Palmgren Erik
AU  - Segerberg Krister
AU  - Stoltenberg-Hansen Viggo
TI  - Logicism, intuitionism and formalism: what has become of them?
SN  - 978-1-4020-8925-1
U1  - 510.1 
PY  - 2009///
CY  - Dordrecht
PB  - Springer-Verlag
KW  - Intuitionistic mathematics
KW  - Mathematics-philosophy-history
ER  -