Girard, Jean-Yves <br/><br/>
Proof theory and logical complexity / 
Jean-Yves Girard 
 - Napoli :  Bibliopolis,  c1987- 
 - v. ;  24 cm. 
 - Studies in proof theory .
<br/><br/> Library has vol.1 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0444987150  :  F200.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>511.36