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