Skip to main content
PBS logo
 
 

Search - First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts and Monographs in Computer Science)
FirstOrder Logic and Automated Theorem Proving - Texts and Monographs in Computer Science
Author: Melvin Fitting
"First-Order Logic and Automated Theorem Proving" is a treatment of classical logic that presents fundamental concepts and results in a rigorous mathematical style. It also considers applications to automated theorem proving, to the point of providing usable programs (in Prolog). This material will serve both as a first text in formal logic and ...  more »
ISBN-13: 9780387972336
ISBN-10: 0387972331
Pages: 242
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer-Verlag Telos
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.