LEADER 00896nam a2200265 i 4500 001 991001720259707536 005 20020507150941.0 008 991122s1940 it ||| | lat 035 $ab11554265-39ule_inst 035 $aLE02723792$9ExL 040 $aDip.to Studi Giuridici$bita 100 1 $aBaviera, Giovanni$0224640 245 10$aAuctores /$ca cura di G. Furlani e di G. Baviera 260 $aFlorentiae :$bBarbera,$c1940 300 $axiv, 798 p. ;$c18 cm. 490 0 $aFontes iuris romani anteiustiniani ;$v2 500 $aPars altera 650 4$aFonti 700 1 $aFurlani, Giuseppe 907 $a.b11554265$b01-03-17$c02-07-02 912 $a991001720259707536 945 $aLE027 ARCHI F 95$g1$iLE027-6492$lle027$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11755076$z02-07-02 996 $aAuctores$9894965 997 $aUNISALENTO 998 $ale027$b01-01-99$cm$da $e-$flat$git $h0$i1 LEADER 03630nam 2200601 450 001 9910798779003321 005 20231110223609.0 010 $a1-118-88004-8 010 $a1-118-88005-6 035 $a(CKB)3710000000829192 035 $a(DLC) 2016014532 035 $a(Au-PeEL)EBL4643513 035 $a(CaPaEBR)ebr11248069 035 $a(CaONFJC)MIL949806 035 $a(OCoLC)957127057 035 $a(Au-PeEL)EBL7104171 035 $a(CaSebORM)9781118880005 035 $a(MiAaPQ)EBC4643513 035 $a(JP-MeL)3000110873 035 $a(MiAaPQ)EBC7104171 035 $a(EXLCZ)993710000000829192 100 $a20160828h20162016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aLogic as a tool $ea guide to formal logical reasoning /$fValentin Goranko 205 $a1st edition 210 1$aChichester, West Sussex, England :$cWiley,$d2016. 210 4$d2016 215 $a1 online resource (383 pages) $cillustrations, tables 225 1 $aNew York Academy of Sciences 300 $aIncludes bibliographical references (p. [348]-350) and index 311 $a1-118-88000-5 320 $aIncludes bibliographical references and index. 327 $aUnderstanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises. 330 $aWritten in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them to learn, understand and master the use of classical logic as a tool for doing correct reasoning.  It offers a systematic and precise exposition of classical logic with many examples and exercises, and only the necessary minimum of theory. The book explains the grammar, semantics and use of classical logical languages and teaches the reader how grasp the meaning and translate them to and from natural language.  It illustrates with extensive examples the use of the most popular deductive systems -- axiomatic systems, semantic tableaux, natural deduction, and resolution -- for formalising and automating logical reasoning both on propositional and on first-order level,  and provides the reader with technical skills needed for practical derivations in them.  Systematic guidelines are offered on how to perform logically correct and well-structured reasoning using these deductive systems and the reasoning techniques that they employ. ?Concise and systematic exposition, with semi-formal but rigorous treatment of the minimum necessary theory, amply illustrated with examples ?Emphasis both on conceptual understanding and on developing practical skills ?Solid and balanced coverage of syntactic, semantic, and deductive aspects of logic ?Includes extensive sets of exercises, many of them provided with solutions or answers ?Supplemented by a website including detailed slides, additional exercises and solutions 410 0$aNew York Academy of Sciences 606 $aLogic$vTextbooks 615 0$aLogic 676 $a511.3 686 $a116$2njb/09 686 $a410.96$2njb/09 686 $a511.3$2njb/09 700 $aGoranko$b Valentin$01526502 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910798779003321 996 $aLogic as a tool$93768574 997 $aUNINA