| Record ID | marc_upei/marc-for-openlibrary-bigset.mrc:146384631:697 |
| Source | University of Prince Edward Island |
| Download Link | /show-records/marc_upei/marc-for-openlibrary-bigset.mrc:146384631:697?format=raw |
LEADER: 00697cam a2200205 4500
008 940511 1983 enk
035 $a(Sirsi) AAV-91
090 3 $aQA76.95.B86 1
100 83 $aBundy,
245 la $aThe computer modelling of mathematical reasoning /$cAlan B
260 nd $aLondon ;$aNew York :$bAcademic Press,
300 19 $axiv, 322 p. ;
504 23 $aBibliography : p. 31
504 - $aInclud
650 s $aMathematics$xData p
650 oc $aLogic, Symbolic and ma
650 he $aAutomatic theo
948 em $a05/11/199
949 $b09/13/2001 $aQA76.95.B86 1983$wLC
901 mU $zNOITEM $a189886