Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)

by Andrzej Indrzejczak (Author), Andrzej Indrzejczak (Author)

New
Paperback
2021
$53.33

$53.33

Save:$3.22 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 361
Edition: 1st ed. 2021
Publisher: Birkhäuser
Published: 18 Dec 2021
ISBN 10: 3030571475
ISBN 13: 9783030571474

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic)

New

$53.33

$53.33

More Information