Logics for computer science : classical and non-classical /: classical and non-classical. (2018)

• Record Type: Book
• Further Information: Note: Anita Wasilewska.
• Authors: Wasilewska, Anita
• Contents: 1:Introduction: Paradoxes and Puzzles.- 2:Introduction to Classical Logic.- 3: Propositional Semantics: Classical and Many Valued.- 4: General Proof Systems: Syntax and Semantics.- 5: Hilbert Proof Systems: Deduction and Completeness Theorems for Classical Propositional Logic.- 6: Automated Proof Systems.- 7: Introduction to Intuitionistic and Modal Logics.- 8: Classical Predicate Semantics and Proof Systems.- 9: Completeness and Deduction Theorems for Classical Predicate Logic.- 10: Predicate Automated Proof Systems.- 11: Formal Theories and Godel Theorems.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (x, 535 pages), illustrations
• Subjects: 005.13/1; Computer science; Logic, Symbolic and mathematical; Logic design; Artificial intelligence; Mathematics -- Logic; Computers -- Intelligence (AI) & Semantics; Mathematical foundations; Artificial intelligence; Computers -- Programming -- General; Computer programming / software development; Electronic books
• Languages: English
• ISBNs: 9783319925912; 3319925911
• Related ISBNs: 9783319925905
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 15, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.