Skip to main content
PBS logo
 
 

Search - Logic for Applications (Texts and Monographs in Computer Science)

Logic for Applications (Texts and Monographs in Computer Science)
Logic for Applications - Texts and Monographs in Computer Science
Author: Anil Nerode, Richard A. Shore
This is a rigorous introduction to classical and nonclassical logic, which emphasizes deduction as a form of computation. It can be used to teach classical, modal and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and logic programming. A distinctive feature of the book is it...  more »
ISBN-13: 9783540941293
ISBN-10: 3540941290
Pages: 382
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.