Conte aos seus amigos sobre este item:
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic Andrzej Indrzejczak 2021 edition
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi - Studies in Universal Logic
Andrzej Indrzejczak
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 18 de dezembro de 2021 |
| ISBN13 | 9783030571474 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 345 |
| Dimensões | 150 × 220 × 10 mm · 508 g |
| Idioma | Alemão |