Recomienda este artículo a tus amigos:
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, XVI, 345 p.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 17 de diciembre de 2020 |
| ISBN13 | 9783030571443 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 345 |
| Dimensiones | 242 × 161 × 29 mm · 682 g |
| Lengua | Alemán |
Mas por Andrzej Indrzejczak
Mostrar todoMere med samme udgiver
Ver todo de Andrzej Indrzejczak ( Ej. Hardcover Book y Paperback Book )