Ono, Hiroakira, <br/><br/>
Proof theory and algebra in logic / 
Hiroakira Ono 
 - viii, 160 páginas :  ilustraciones 
 - Short textbooks in logic,  2522-5480 .
<br/><br/><label>ISBN: </label>9789811379963 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración<br/>Lógica algebraica
<br/><br/><label>LC Class. No.: </label>QA9.54  / O57