panda
Logic for applications
Logic programming
Computer science, mathematics
Logic, symbolic and mathematical
Symbolic and mathematical Logic
Computer science
Mathematics
Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematical foundations of resolution theorem proving and logic programming. These subjects are important for ma…
Not available to read online
This scan is restricted to patrons with print disabilities and can't be borrowed with a regular free account — signing up won't unlock it. Try Toronto Public Library, Libby, or Amazon above instead.
