Proof theory :  a selection of papers from the Leeds Proof Theory Programme, 1990 / 
edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer 
 - Cambridge :  Cambridge University Press,  2008 
 - x, 306 p. ;  23 cm. 
<br/><br/> First published 1992 
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>9780521054164 (pbk.) 0521054168 (pbk.) 9780521414135 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory