Semantik und Logik der Berechnung von Andrew M. Pitts (Englisch) Taschenbuch
86,14 €
List of contributors; Preface; 1. Computational content of classical logic Thierry Coquand; 3. Operationally-based theories of program equivalence Andrew Pitts; 7. Categories in concurrency Glynn Winskel and Mogens Nielsen; Index.
Jetzt bei Ebay:
