| Record ID | marc_records_scriblio_net/part20.dat:154818701:859 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part20.dat:154818701:859?format=raw |
LEADER: 00859cam 2200241 a 4500
001 89034922 //r90
003 DLC
005 19900926103447.5
008 890523s1990 nyua b 00110 eng
010 $a 89034922 //r90
020 $a0716782014 :$c$30.00
040 $aDLC$cDLC$dDLC
050 00 $aQA76.7$b.D386 1989
082 00 $a005.13$220
100 10 $aDavis, Ruth E.
245 10 $aTruth, deduction, and computation :$blogic and semantics for computer science /$cR.E. Davis.
260 0 $aNew York :$bComputer Science Press,$cc1989.
300 $axv, 265 p. :$bill. ;$c25 cm.
440 0 $aPrinciples of computer science series
504 $aIncludes bibliographical references (p. 257-260) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aElectronic data processing.