000 00556pam a2200193a 44500
008 160408b2009 xxu||||| |||| 00| 0 eng d
020 _a9781402089251
040 _cIITK
041 _aeng
082 _a510.1
_bL829
245 0 _aLogicism, intuitionism and formalism
_bwhat has become of them?
_cedited by Sten Lindstrom ...[et al.]
260 _aSweden
_bSpringer
_c2009
300 _axii, 512p.
440 _aSyntheses Library
490 _aedited By Vincent F. Hendricks
650 _aLogicism
700 _aLindstrom, Sten, ed.
942 _cBK
999 _c365468
_d365468