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.61

$53.61

Save:$3.23 (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.61

$53.61

More Information