Language, Proof, and Logic
Center for the Study of Language and Inf / 2011-10-15出版
试读 / 购买 打开App查看

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.

喜欢这本书的人也喜欢 打开App查看更多
  • Logic, Language, and Meaning, Volume 1
  • Logic, Language, and Meaning, Volume 2
  • 数理逻辑教程
  • 数理逻辑