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 - 9783030571474 - December 18, 2021
In case cover and title do not match, the title is correct

Andrzej Indrzejczak
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic 2021 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Andrzej Indrzejczak releases

Our customers say:

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

Not rated yet

Also available as:

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

345 pages, 1 Illustrations, color; 14 Illustrations, black and white; XVI, 345 p. 15 illus., 1 illus

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 18, 2021
ISBN13 9783030571474
Publishers Springer Nature Switzerland AG
Pages 345
Dimensions 150 × 220 × 10 mm   ·   508 g
Language German  

More from the same publisher

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