Logical Methods - Shawn Standefer,Greg Restall
-25% koodilla BOOKS
Toimitus 31-37 arkipäivässä
30 päivän palautusoikeus
"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"--
Saatat myös pitää
Kuvaus
"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"--
Lisätietoja
| Kirjoittaja | Shawn Standefer, Greg Restall |
|---|---|
| Julkaisija | MIT Press Ltd |
| Julkaisuvuosi | 2023 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9780262544849 |