Liebe Besucherinnen und Besucher,
heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien
Ergebnisse filtern
-
- 3
- 1
-
- 1
- 1
- 1
- 1
-
- 2
- 2
- 2
- 4
-
- 2
- 2
-
- 2
- 2
-
- 4
-
- 4
-
- 4
Mathematik Allgemein
-
Nederpelt / Geuvers Type Theory and Formal Proof
An IntroductionErscheinungsjahr 2014Verlag: Cambridge University PressISBN: 978-1-316-05634-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)67,99 € (inkl. MwSt.)
sofort verfügbar
-
Nederpelt / Geuvers Type Theory and Formal Proof
Erscheinungsjahr 2016Verlag: Cambridge University PressISBN: 978-1-107-03650-5Medium: Buch96,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kamareddine / Nederpelt / Laan A Modern Perspective on Type Theory
From its Origins until Today1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer NetherlandsISBN: 978-90-481-6639-8Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kamareddine / Nederpelt / Laan A Modern Perspective on Type Theory
From its Origins until Today2004Verlag: Springer NetherlandsISBN: 978-1-4020-2334-7Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
