Henk Barendregt
Beliebte Artikel von Henk Barendregt
Alle Angebote anzeigen-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Barendregt, Henk
Artikelpreise ab
5 Angebote anzeigenEUR 16,50
-
Lambda Calculus with Types Hardback (Perspectives in Logic)
Barendregt; Dekkers; Statman
Artikelpreise ab
4 Angebote anzeigenEUR 70,45
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)
Nipkow, Tobias; Barendregt, Henk
Artikelpreise ab
3 Angebote anzeigenEUR 111,18
Entdecken Sie auch
Neu
