Ewa Orłowska on Relational Methods in Logic and Computer Science (Outstanding Contributions to Logic, 17, Band 17)
Ein prägnantes Buch über relationale Methoden in Logik und Informatik, das die Verbindung zwischen formaler Theorie und praktischer Anwendung beleuc ...