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.
Ik heb een vraag over het boek: ‘Language, Proof, and Logic - Barker-Plummer, David, Barwise, Jon, Etchemendy, John’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
