More About the Author
Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
Review and Comments
Rate the Book
Goal-Directed Proof Theory 0 out of 5 stars based on 0 ratings.