Girard, Jean-Yves, <br/><br/>
Proof theory and logical complexity / 
Jean-Yves Girard 
 - volúmenes 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración
<br/><br/><label>LC Class. No.: </label>QA9.54  / G57