Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (6 chapters)
-
Front Matter
-
Back Matter
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
-
Department of Computer Science, King’s College, London, UK
Dov M. Gabbay
-
Universitá di Torino, Torino, Italy
Nicola Olivetti
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