17% nuolaida
Language, Proof, and Logic
Akcijos kaina
€85,00
Įprasta kaina
€102,00
Vieneto kaina
/
Nėra tokio varianto
Autorius Dave Barker-Plummer
Aprašymas
A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Language, Proof, and Logic