| Record ID | marc_laurentian/openlibrary.mrc:430667346:863 |
| Source | The Laurentian Library |
| Download Link | /show-records/marc_laurentian/openlibrary.mrc:430667346:863?format=raw |
LEADER: 00863nam 2200253 4500
001 07-0080535
005 20020710092854.0
008 020430|||||||||||||||||||||||||||||
010 $a93014567
020 $a0521441161
033 $a950103
035 $a(Sirsi) a447727
035 $a083345
090 $aQA 9 V38 1994
100 10 $aVelleman Daniel J.
245 10 $aHow to prove it :$ba structured approach /$cDaniel J. Velleman.
260 0 $aCambridge ; New York :
300 $aix, 309 p. : ill. ; 23 cm.
500 $aIncludes bibliographical references (p. 304) and index.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMathematics.
949 $aQA 9 V38 1994$v1$wLC$i31520000502211$rY$tBOOKS$lALGO-CIRC$mALGOMA
596 $a6
999 $aQA 9 V38 1994 1$wLC$c1$i31520000502211$d9/11/2007$e23/10/2007$lALGO-CIRC$mALGOMA$n5$rY$sY$tBOOKS$u12/6/2003