Classical First-Order Logic - Stewart Shapiro,Teresa Kouri Kissel
-25% su kodu BOOKS
Pristatymas per 15-21 d.d.
30 dienų grąžinimo politika
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof ... Visas aprašymas
Jums taip pat gali patikti
Aprašymas
Daugiau informacijos
| Autorius | Stewart Shapiro, Teresa Kouri Kissel |
|---|---|
| Leidėjas | Cambridge University Press |
| Išleidimo metai | 2022 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9781108987004 |