Language, Proof, and Logic (Heftet)

Second Edition

Forfatter:

, og

Forfatter: , og
Innbinding: Heftet
Utgivelsesår: 2011
Antall sider: 650
Forlag: Centre for the Study of Language & Information
Språk: Engelsk
ISBN/EAN: 9781575866321
Omtale Language, Proof, and Logic
This textbook/software package 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. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

Til toppen

Flere bøker av David Barker-Plummer, Jon Barwise og John Etchemendy: