Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0
Zur Startseite gehen
Zur Startseite gehen
0,00 €*

Zu "type theory" wurden 40 Produkte gefunden

Filter
HOME
Logic of Computation
Logic of Computation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
An Essay in Universal Semantics
An Essay in Universal Semantics
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
192,59 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logical Aspects of Computational Linguistics
Logical Aspects of Computational Linguistics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Advances in Proof Theory
Advances in Proof Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
An Essay in Universal Semantics
An Essay in Universal Semantics
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Simple Type Theory
Simple Type Theory
64,19 €*
Preise inkl. MwSt. zzgl. Versandkosten
Functional and Logic Programming
Functional and Logic Programming
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications
49,22 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Life and Work of Leon Henkin
The Life and Work of Leon Henkin
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Trends in Functional Programming
Trends in Functional Programming
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Saved from the Cellar
Saved from the Cellar
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Saved from the Cellar
Saved from the Cellar
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Extensional Constructs in Intensional Type Theory
Extensional Constructs in Intensional Type Theory
149,79 €*
Preise inkl. MwSt. zzgl. Versandkosten
Mathematical Logic and Its Applications
Mathematical Logic and Its Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Proof Theory
Proof Theory
139,09 €*
Preise inkl. MwSt. zzgl. Versandkosten
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
160,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Advances in Proof Theory
Advances in Proof Theory
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Logical Aspects of Computational Linguistics
Logical Aspects of Computational Linguistics
51,36 €*
Preise inkl. MwSt. zzgl. Versandkosten
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...