Logical Methods - Shawn Standefer,Greg Restall
-30% ar kodu BOOKS
Piegāde 31-37 darba dienu laikā
30 dienu atgriešanas 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 varētu patikt arī
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"--
Vairāk informācijas
| Autors | Shawn Standefer, Greg Restall |
|---|---|
| Izdevējs | MIT Press Ltd |
| Izlaides gads | 2023 |
| Vāka tips | Mīkstais vāks |
| EAN | 9780262544849 |