Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Typentheorie und formaler Beweis: Eine Einführung von Rob Nederpelt (Englisch) Hardcov

105,72 €

Type Theory and Formal Proof by Rob Nederpelt, Herman Geuvers. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands.

Jetzt bei Ebay: