Vista normal Vista MARC Vista ISBD

Indrzejczak, Andrzej,

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 .

Birkhäuser--Portada

ISBN: 9783030571443 9783030571474

Subjects--Topical Terms:
Teoría de la demostración
Lógica simbólica y matemática

LC Class. No.: QA9.54 / I53