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 | 45,99 € | |
| eBook, PDF | ab 61,95 € |
Broschiertes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st edition 2023
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
2006
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
Gebundenes Buch
To Truth Through Proof
2. Aufl.
31. Juli 2002
Springer / Springer Netherlands
978-1-4020-0763-7
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
22. September 2011
Springer / Springer London / Springer, Berlin
978-1-4471-1243-3
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7
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
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
A Proof Assistant for Higher-Order Logic
2002
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
Gebundenes Buch
2023
24. Mai 2023
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-26903-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON
