Deduktive Systeme und das Entscheidbarkeitsproblem für Hybridlogiken, Hardcover b...
57,66 €
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. This division reflects the division of th itself.
Jetzt bei Ebay:
![Produktbild - Labelled Deductive Systems: Volume 1 (Oxford Logic Guides) [Hardback]](https://i.ebayimg.com/thumbs/images/g/9EwAAeSwECxoS3LP/s-l140.jpg)
