| Record ID | ia:logicalbasisforc0000mann |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/logicalbasisforc0000mann/logicalbasisforc0000mann_marc.xml |
| Download MARC binary | https://www.archive.org/download/logicalbasisforc0000mann/logicalbasisforc0000mann_meta.mrc |
LEADER: 00886cam a2200265 a 4500
001 84020346
003 DLC
005 19990120141121.7
008 840824m19851990maua b 00110 eng
010 $a 84020346 //r903
020 $a0201182602 (v. 1) :$c$27.95
020 $a0201182610 (v. 2)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.M35595 1985
082 00 $a519.7$219
100 10 $aManna, Zohar.
245 14 $aThe logical basis for computer programming /$cZohar Manna, Richard Waldinger.
260 0 $aReading, Mass. :$bAddison-Wesley,$cc1985-c1990.
300 $a2 v. :$bill. ;$c25 cm.
490 0 $aAddison-Wesley series in computer science
504 $aIncludes bibliographies and indexes.
505 0 $av. 1. Deductive reasoning -- v. 2 Deductive systems.
650 0 $aComputer programming.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aWaldinger, Richard.