Broschiertes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st ed. 2023
3. Januar 2024
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21114-0
| Gebundenes Buch | 63,99 € | |
| eBook, PDF | 48,95 € |
Gebundenes Buch
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
1st ed. 2023
2. Januar 2023
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-21111-9
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 € |
Ä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
2023
24. Mai 2023
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-26903-5
Gebundenes Buch
From its Origins until Today
2004
9. Juni 2004
Springer / Springer Netherlands
978-1-4020-2334-7
Broschiertes Buch
2023
11. Juni 2024
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-031-26906-6
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
Ähnlichkeitssuche: Fact®Finder von OMIKRON
