| Record ID | marc_records_scriblio_net/part28.dat:15556795:1244 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part28.dat:15556795:1244?format=raw |
LEADER: 01244cam 2200301 a 4500
001 99047648
003 DLC
005 20000315080559.0
008 990910s2000 njua b 001 0 eng
010 $a 99047648
020 $a0130258490 (book)
020 $a0130258490 (computer disc)
040 $aDLC$cDLC
050 00 $aBC181$b.P64 2000
082 00 $a160$221
100 1 $aPospesel, Howard,$d1937-
245 10 $aIntroduction to logic :$bpropositional logic /$cHoward Pospesel ; with an appendix on metatheory by William G. Lycan.
250 $aRev. 3rd ed.
260 $aUpper Saddle River, N.J. :$bPrentice Hall,$cc2000.
300 $axii, 273 p. :$bill. ;$c23 cm. +$e1 computer optical disc (4 3/4 in.)
500 $aAccompanying computer disc contains Version 1.0 of PropLogic by Mark Pospesel.
538 $aSystem requirements for accompanying computer disc: IBM PC 100 MHz (120 MHz recommended); 8 MB RAM (16 MB recommended); Windows 95/98/NT; color monitor (640x480 VGA resolution minimum).
504 $aIncludes bibliographical references and index.
650 0 $aProposition (Logic)
650 0 $aLogic, Symbolic and mathematical.
650 0 $aReasoning.
700 1 $aLycan, William G.
700 12 $aPospesel, Mark.$tPropLogic.