VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Andrzej Indrzejczak
Sequents and Trees
- Untertitel
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Verlag
- Springer International Publishing
- ISBN/EAN
- 978-3-030-57144-3
- Preis
- 69,54 EUR
- Status
- lieferbar
