剧情简介：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...(展开全部)
作者：David Barker-Plummer
出版社：Center for the Study of Language and Inf
ISBN：9781575866321
