Logics for Computer Science: Classical and Non-Classical

by Anita Wasilewska

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples...

• Format: Hardcover
• Language: English
• ISBN: 3319925903
• ISBN13: 9783319925905
• Release Date: November 2018
• Publisher: Springer
• Length: 535 Pages
• Weight: 2.56 lbs.
• Dimensions: 1.2" x 7.0" x 10.0"