Girard, Jean-Yves <br/><br/>
Proof theory and logical complexity..  T.1/ 
Jean-Yves Girard. 
 - Napoli:  Bibliopolis,  c1987. 
 - 503 p;  25 cm. 
 - Studies in proof theory;  1. .
<br/><br/> Index. 
<br/><br/>Bibliographie : p. [497]-500. 
<br/><br/><label>ISBN: </label>8870881237 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Preuve, théorie de la.
<br/><br/><label>Dewey Class. No.: </label>511.352   / G517p