Tools for Teaching Logic
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-642-21349-6 (Buch)
- Erscheinungstermin: 23.05.2011
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Computational Logic and Proof Theory
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63385-3 (Buch)
- Erscheinungstermin: 13.08.1997
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Isabelle/HOL
58,84 € (inkl. MwSt.)
54,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-43376-7 (Buch)
- Erscheinungstermin: 03.04.2002
- Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.)
54,99 € (zzgl. MwSt.)
Qualitative and Quantitative Practical Reasoning
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-63095-1 (Buch)
- Erscheinungstermin: 28.05.1997
- Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Computational Logic and Proof Theory
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-57184-1 (Buch)
- Erscheinungstermin: 13.08.1993
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
COLOG-88
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-52335-2 (Buch)
- Erscheinungstermin: 21.02.1990
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
On the Shape of Mathematical Arguments
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-52849-4 (Buch)
- Erscheinungstermin: 24.07.1990
- Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- |
- 1