Language, Proof and Logic
David Barker-Plummer, Dave Barker-Plummer, Jon Barwise, John Etchemendy
650
Pagini
2011
An
Paperback
Copertă
Descriere
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,...
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.
Conectează-te pentru a lăsa o recenzie
Nicio recenzie încă
Fii primul care lasă o impresie.
