Logical Methods - Shawn Standefer,Greg Restall
-20% with code BOOKS
Shipping in 31-37 days
30-day return policy
"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"--
You May Also Like
Description
"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"--
More Information
| Author | Shawn Standefer, Greg Restall |
|---|---|
| Publisher | MIT Press Ltd |
| Release year | 2023 |
| Cover type | Softcover |
| EAN | 9780262544849 |