Indrzejczak, Andrzej, <br/><br/>
Sequents and trees :  an introduction to the theory and applications of propositional sequent calculi / 
Andrzej Indrzejczak 
 - xvi, 345 páginas :  ilustraciones 
 - Studies in universal logic,  2297-0282 .
<br/><br/> Birkhäuser--Portada 
<br/><br/><label>ISBN: </label>9783030571443 9783030571474 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración<br/>Lógica simbólica y matemática
<br/><br/><label>LC Class. No.: </label>QA9.54  / I53