Logical Methods - Shawn Standefer,Greg Restall
-30% koodiga BOOKS
Saadetis 31-37 tööpäeva jooksul
30-päevane tagastamisõigus
"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"--
Võib-olla meeldib sulle ka
Kirjeldus
"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"--
Lisateave
| Autor | Shawn Standefer, Greg Restall |
|---|---|
| Kirjastaja | MIT Press Ltd |
| Väljalaskeaasta | 2023 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780262544849 |