Goal-Directed Proof Theory Dov Gabbay

Book by Dov Gabbay and N. Olivetti