Mints, G. E., <br/><br/>
Selected papers in proof theory / 
Grigorii E. Mints 
 - 294 páginas :  ilustraciones ; 
 - Studies in proof theory.  3 .
<br/><br/>Incluye referencias bibliograficas. 
<br/><br/><label>ISBN: </label>8870882284 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración
<br/><br/><label>LC Class. No.: </label>QA9.54  / M55 1992 
<br/><br/><label>Dewey Class. No.: </label>511.3