00978nam0-2200349-i-450-99000884662040332120090424114738.0978-1-4020-8925-1000884662FED01000884662(Aleph)000884662FED0100088466220090424d2009----km-y0itay50------baengNLa---a---101yyLogicism, intuitionism and formalismwhat has become of them?Sten Lindstrom ... [ e altri ], editorsDordrechtSpringerc200924 cmMatematicaFilosofia510.121itaLindström,StenPalmgren,ErikSegerberg,KristerITUNINARICAUNIMARCBK990008846620403321C-25-(34123625MA1MA100A30Logicism, intuitionism, and formalism230249UNINA