Proof theory: a selection of papers from the Leeds proof theory programme 1990 ed by Peter Aczel and REFs - Aczel Peter Ed; Simmons Horld Ed; Wainer Stanley S Ed (Cambridge Cambridge University Press, 1992)
Includes bibliographical references; ^mPurchase; ; 1996-09-13^bSB^c1996-09-18
Keywords: Logic; Mathematics