Gebundenes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
2. Aufl.
24. April 2025
Birkhäuser / Springer International Publishing / Springer Nature Switzerland / Springer, Berlin
978-3-031-85351-7
| Broschiertes Buch | 46,99 € | |
| eBook, PDF | ab 60,95 € |
Broschiertes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
3. Januar 2024
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21114-0
Broschiertes Buch
5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
26. Juli 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11812289,978-3-540-37104-5
| eBook, PDF | 40,95 € |
Gebundenes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st edition 2023
2. Januar 2023
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21111-9
Ähnliche Artikel
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
Broschiertes Buch
22. September 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1243-3
Gebundenes Buch
13. Januar 2026
Austrian Science Fund / Springer / Springer Nature Switzerland / Springer, Berlin
89205280,978-3-032-05740-2
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9
Gebundenes Buch
To Truth Through Proof
2. Aufl.
31. Juli 2002
Springer / Springer Netherlands
978-1-4020-0763-7
Broschiertes Buch
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
1995.
21. Juli 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
10486486,978-3-540-60164-7
Broschiertes Buch
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
9. September 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10871322,978-3-540-44240-0
Gebundenes Buch
From Categorical Computability to Computable Categories
20. September 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-34826-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
