000			00753nam a2200229Ia 4500
008			131223s9999 xx 000 0 und d
020			_a978-1-4020-8925-1
040			_aISI KOLKATA
041			_aEnglish
082			_a510.1 _bL753
245			_aLogicism, intuitionism and formalism _bwhat has become of them?
260			_aDordrecht _bSpringer-Verlag _c2009
300			_axii,512p.
440			_aSynthese library: studies in epistemology, logic, methodology, and philosophy of science; v 341
650			_aIntuitionistic mathematics
650			_aMathematics-philosophy-history
700			_aLindstrom Sten _4ed.
700			_aPalmgren Erik _4ed.
700			_aSegerberg Krister _4ed.
700			_aStoltenberg-Hansen Viggo _4ed.
942			_cBK
999			_c23410 _d23410