Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic - Andrzej Indrzejczak - Books - Springer Nature Switzerland AG - 9783030571443 - December 17, 2020
In case cover and title do not match, the title is correct

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic 1st ed. 2021 edition

Andrzej Indrzejczak

Price
A$ 95.99

Ordered from remote warehouse

Expected delivery Feb 7 - 18

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic 1st ed. 2021 edition

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

345 pages, XVI, 345 p.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 17, 2020
ISBN13 9783030571443
Publishers Springer Nature Switzerland AG
Pages 345
Dimensions 242 × 161 × 29 mm   ·   682 g
Language German  
Show all

More by Andrzej Indrzejczak

See all of Andrzej Indrzejczak ( e.g. Hardcover Book and Paperback Book )