Proof Theory and Automated Dedu... Jean Goubault-Larrec... Paperback Published 30 Nov 2001 Save $1.23 RRP $61.25 $60.02 In Stock