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…
Read online
Reader not loading? Open it on Archive.org instead.
