Anzahl Produkte: 29
EDV | Informatik
Philosophie der Mathematik, Philosophie der Physik
Logik, formale Sprachen, Automaten
Treatise on Intuitionistic Type Theory
149,79 € (inkl. MwSt.)
139,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-94-007-1735-0 (Buch)
- Erscheinungstermin: 03.06.2011
- Lieferzeit ca. 10 Werktage
149,79 € (inkl. MwSt.)
139,99 € (zzgl. MwSt.)
Constructive Semantics
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-030-21312-1 (Buch)
- Erscheinungstermin: 24.10.2019
- Lieferzeit ca. 10 Werktage
128,39 € (inkl. MwSt.)
119,99 € (zzgl. MwSt.)
Structures and Algorithms
117,69 € (inkl. MwSt.)
109,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-030-10294-4 (Buch)
- Erscheinungstermin: 25.12.2018
- Lieferzeit ca. 10 Werktage
117,69 € (inkl. MwSt.)
109,99 € (zzgl. MwSt.)
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
117,69 € (inkl. MwSt.)
109,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-030-18706-4 (Buch)
- Erscheinungstermin: 20.09.2019
- Lieferzeit ca. 10 Werktage
117,69 € (inkl. MwSt.)
109,99 € (zzgl. MwSt.)
Decidability of Logical Theories and Their Combination
64,19 € (inkl. MwSt.)
59,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-030-56553-4 (Buch)
- Erscheinungstermin: 21.10.2020
- Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.)
59,99 € (zzgl. MwSt.)
Protoalgebraic Logics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-0-7923-6940-0 (Buch)
- Erscheinungstermin: 30.04.2001
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Recursive Functions and Metamathematics
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
- Verlag: Springer Netherlands
- ISBN: 978-90-481-5298-8 (Buch)
- Erscheinungstermin: 06.12.2010
- Lieferzeit ca. 10 Werktage
160,49 € (inkl. MwSt.)
149,99 € (zzgl. MwSt.)
Intuitionistic Proof Versus Classical Truth
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-319-74356-1 (Buch)
- Erscheinungstermin: 05.03.2018
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Logic, Construction, Computation
240,00 € (inkl. MwSt.)
224,30 € (zzgl. MwSt.)
- Verlag: De Gruyter
- ISBN: 978-3-11-032453-2 (Buch)
- Erscheinungstermin: 20.07.2012
- Lieferzeit ca. 10 Werktage
240,00 € (inkl. MwSt.)
224,30 € (zzgl. MwSt.)
Intuitionistic Proof Versus Classical Truth
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer International Publishing
- ISBN: 978-3-030-08971-9 (Buch)
- Erscheinungstermin: 22.12.2018
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)