| Record ID | marc_loc_2016/BooksAll.2016.part40.utf8:183228658:1881 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part40.utf8:183228658:1881?format=raw |
LEADER: 01881cam a22003857a 4500
001 2012941863
003 DLC
005 20140925081333.0
008 120613t20122012enka b 001 0 eng d
010 $a 2012941863
015 $aGBB245425$2bnb
016 7 $a016082451$2Uk
020 $a9781447141280 (pbk.)
020 $a1447141288 (pbk.)
035 $a(OCoLC)ocn793689283
040 $aUKMGB$beng$cUKMGB$dBWX$dOCLCO$dYDXCP$dCDX$dOUP$dOCLCF$dNLGGC$dOCLCQ$dDLC
042 $alccopycat
050 00 $aQA9$b.B3955 2012
082 04 $a511.3$223
084 $a31.10$2bcl
084 $a54.10$2bcl
100 1 $aBen-Ari, M.,$d1948-
245 10 $aMathematical logic for computer science /$cMordechai Ben-Ari.
250 $aThird edition.
264 1 $aLondon ;$aNew York :$bSpringer,$c[2012]
264 4 $c©2012
300 $axv, 346 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references and index.
505 0 $aIntroduction -- Propositional logic: formulas, models, tableaux -- Propositional logic: deductive systems -- Propositional logic: resolution --Propositional logic: binary decision diagrams -- Propositional logic: SAT solvers -- First-order logic: formulas, models, tableaux -- First-order logic: deductive systems -- First-order logic: terms and normal forms -- First-order logic: resolution-- First-order logic: logic programming -- First-order logic: undecidability and model theory -- Temporal logic: formulas, models, tableaux -- Temporal logic: a deductive system -- Verification of sequential programs -- Verification of concurrent programs.
650 0 $aLogic, Symbolic and mathematical.
650 7 $aLogic, Symbolic and mathematical.$2fast
776 0 $tMathematical logic for computer science$w(NL-LeOCL)34435914X