| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:418682633:914 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:418682633:914?format=raw |
LEADER: 00914cam a22002778a 4500
001 011472592-6
005 20080522145543.0
008 071023s2008 enk b 001 0 eng
015 $aGBA788187$2bnb
016 7 $a014235209$2Uk
020 $a9780444515841 (hbk.)
020 $a0444515844 (hbk.)
035 0 $aocn180470932
040 $aUKM$cUKM$dYDXCP$dBTCTA$dBAKER$dOHX$dTXH$dOCLCQ$dSUC
082 04 $a511.3$222
090 $aQA9.7$b.O66 2008
100 1 $aOosten, Jaap van.
245 10 $aRealizability :$ban introduction to its categorical side /$cJaap van Oosten.
250 $a1st ed.
260 $aOxford :$bElsevier,$c2008.
300 $axvi, 310 p. ;$c24 cm.
440 0 $aStudies in logic and the foundations of mathematics,$x0049-237X ;$vv. 152
504 $aIncludes bibliographical references (p. 291-304) and index.
650 0 $aLogic, Symbolic and mathematical.
988 $a20080522
906 $0OCLC