Record ID | marc_loc_updates/v37.i12.records.utf8:12127930:982 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v37.i12.records.utf8:12127930:982?format=raw |
LEADER: 00982nam a2200289 a 4500
001 2008935522
003 DLC
005 20090320102409.0
008 080818s2009 ne a 000 0 eng
010 $a 2008935522
015 $aGBA8C1466$2bnb
016 7 $a014783063$2Uk
016 7 $aB0900674$2bccb
020 $a9781402089251 (hbk.)
020 $a1402089252 (hbk.)
035 $a(OCoLC)ocn263295778
040 $aUKM$cUKM$dYDXCP$dNLGGC$dOHX$dCDX$dDLC
042 $alccopycat
050 00 $aQA8.4$b.L635 2009
082 04 $a510.1$222
245 00 $aLogicism, intuitionism, and formalism :$bwhat has become of them? /$cedited by Sten Lindstrom ... [et al.].
260 $aDordrecht ;$aLondon :$bSpringer,$c2009.
300 $a512 p. :$bill. :$c25 cm.
490 0 $aSynthese library : studies in epistemology, logic, methodology, and philosophy of ;$vv. 341
650 0 $aIntuitionistic mathematics.
650 0 $aMathematics$xPhilosophy$xHistory.
700 1 $aLindström, Sten,$d1945-