Logical Methods - Shawn Standefer,Greg Restall
-25% su kodu BOOKS
Pristatymas per 31-37 d.d.
30 dienų grąžinimo politika
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
Jums taip pat gali patikti
Aprašymas
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
Daugiau informacijos
| Autorius | Shawn Standefer, Greg Restall |
|---|---|
| Leidėjas | MIT Press Ltd |
| Išleidimo metai | 2023 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9780262544849 |