Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Lingua
- Pubblicato
- 2000
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.