The book is currently out of stock
Goal-Directed Proof Theory
Authors
More about the book
Exploring the foundations of proof theory, this book presents a novel approach centered on goal-directed reasoning. It delves into the interplay between proofs and computational processes, emphasizing how goals can guide the proof search. The author discusses various systems and techniques, offering insights into their applications in logic and computer science. By bridging theoretical concepts with practical implications, the text serves as a valuable resource for researchers and students interested in the mechanics of formal proofs and their computational significance.
Book purchase
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Language
- Released
- 2000
We’ll notify you via email once we track it down.
Payment methods
- Title
- Goal-Directed Proof Theory
- Language
- English
- Authors
- Dov M. Gabbay, N. Olivetti
- Publisher
- Springer Netherlands
- Released
- 2000
- Format
- Hardcover
- Pages
- 284
- ISBN13
- 9780792364733
- Category
- Philosophy
- Description
- Exploring the foundations of proof theory, this book presents a novel approach centered on goal-directed reasoning. It delves into the interplay between proofs and computational processes, emphasizing how goals can guide the proof search. The author discusses various systems and techniques, offering insights into their applications in logic and computer science. By bridging theoretical concepts with practical implications, the text serves as a valuable resource for researchers and students interested in the mechanics of formal proofs and their computational significance.