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

Type Theory and Formal Proof: An Introduction by Rob Nederpelt (English) Hardcov

Ø 0.0

0 Bewertungen

86,32 €

By Rob Nederpelt, Herman Geuvers. Untyped lambda calculus; 2. Simply typed lambda calculus; 3. Second order typed lambda calculus; 4. Types dependent on types; 5. The Calculus of Constructions; 7.

Jetzt bei Ebay:

ISBN-13:

9781107036505
Book Title:

Type Theory and Formal Proof
ISBN:

9781107036505

None:

International Standard : tracked-no signature (7 to 15 business days) 35,13 EUR - Lieferung zwischen 27. June 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere