|
Indrzejczak, Andrzej Sequents and trees : an introduction to the theory and applications of propositional sequent calculi Cham, Switzerland : Springer, 2021. xvi, 345 p. -- (Studies in universal logic) QA9.54 I53 |
Indrzejczak

|
Indrzejczak, Andrzej Sequents and trees : an introduction to the theory and applications of propositional sequent calculi Cham, Switzerland : Springer, 2021. xvi, 345 p. -- (Studies in universal logic) QA9.54 I53 |