Die Lambda-Berechnung. Seine Syntax und Semantik von Barendregt, Henk
29,29 €
In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic.
Jetzt bei Ebay:
