Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
Keywords
About this book
Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.
Authors and Affiliations
Bibliographic Information
Book Title: Goal-Directed Proof Theory
Authors: Dov M. Gabbay, Nicola Olivetti
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-94-017-1713-7
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2000
Hardcover ISBN: 978-0-7923-6473-3Published: 31 August 2000
Softcover ISBN: 978-90-481-5526-2Published: 04 December 2010
eBook ISBN: 978-94-017-1713-7Published: 17 April 2013
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: X, 268
Topics: Logic, Programming Languages, Compilers, Interpreters