内容简介
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 a...
(展开全部)
作者简介
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.
Language, Proof, and Logic是2011年由CenterfortheStudyofLanguageandInf出版,作者DavidBarker-Plummer。
得书感谢您对《Language, Proof, and Logic》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
