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 2021 edition

Price
$ 42.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 23 - 26
Add to your iMusic wish list

Also available as:

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  

More by Andrzej Indrzejczak

Show all

Mere med samme udgiver