Presents a rigorous introduction to classical, intuitionistic and modal logic to advanced undergraduate or beginning graduate students. This book emphasizes deduction as a form of computation, by examining the logical and mathematical foundations of resolution theorem proving and logic programming.
Read More
Presents a rigorous introduction to classical, intuitionistic and modal logic to advanced undergraduate or beginning graduate students. This book emphasizes deduction as a form of computation, by examining the logical and mathematical foundations of resolution theorem proving and logic programming.
Read Less
