Proof theory :  a selection of papers from the Leeds Proof Theory Programme 1990 / 
edited by Peter Aczel, Harold Simmons and Stanley S. Wainer. 
 - x, 306 pages ;  24 cm. 
<br/><br/><label>ISBN: </label>9780521054164 0521054168 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.
<br/><br/><label>LC Class. No.: </label>QA9.54   / .P76 1992