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
Add this copy of Logic for Applications (Texts & Monographs in Computer to cart. $58.49, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Springer Verlag.
Add this copy of Logic for Applications (Texts & Monographs in Computer to cart. $93.55, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1993 by Springer Verlag.
