Goal-Directed Proof Theory
Publisher: Springer
Published: Mar 14, 2014
Format: paperback
Number of pages: 284
ISBN-13: 9789401717144