| Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:176233296:1531 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:176233296:1531?format=raw |
LEADER: 01531cam a22003737a 4500
001 2006296109
003 DLC
005 20060726211130.0
008 060405s2005 enka b 101 0 eng d
010 $a 2006296109
015 $aGBA562534$2bnb
016 7 $a013260994$2Uk
020 $a9780198566519 (hbk.)
020 $a0198566514 (hbk.)
035 $a(OCoLC)ocm61176444
040 $aUKM$beng$cUKM$dBWKUK$dBAKER$dNLGGC$dDLC
042 $aukblsr$alccopycat
050 00 $aQA9.56$b.F76 2005
082 04 $a511.36$222
084 $a31.10$2bcl
245 00 $aFrom sets and types to topology and analysis :$btowards practicable foundations for constructive mathematics /$cedited by Laura Crossila and Peter Schuster.
260 $aOxford :$bClarendon ;$aNew York :$bOxford University Press,$c2005.
300 $axix, 350 p. :$bill. ;$c24 cm.
440 0 $aOxford logic guides ;$v48
500 $a"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Preface.
504 $aIncludes bibliographical references and index.
650 0 $aConstructive mathematics$vCongresses.
650 17 $aConstructieve wiskunde.$2gtt
650 17 $aAnalyse (wiskunde)$2gtt
650 17 $aTopologie.$2gtt
700 1 $aCrosilla, Laura.
700 1 $aSchuster, Peter,$d1966-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0636/2006296109-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0636/2006296109-t.html