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 to cart. $30.46, very good condition, Sold by Daedalus Books rated 5.0 out of 5 stars, ships from Portland, OR, UNITED STATES, published 1993 by Springer Verlag.
Add this copy of Logic for Applications (Texts & Monographs in Computer to cart. $31.49, like new condition, Sold by M3Books rated 5.0 out of 5 stars, ships from Wilmington, MA, UNITED STATES, published 1993 by Springer Verlag.
Add this copy of Logic for Applications (Texts & Monographs in Computer to cart. $63.75, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Springer Verlag.
