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.
發表於2024-11-26
Language, Proof, and Logic 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯學 Logic 邏輯 數學 Philosophy 邏輯學 哲學 哲學入門
原子語句開搞
評分簡單,明瞭
評分Philos 12A Introduction to Logic 軟件很好用...
評分不是很深入,太簡單瞭,很多東西沒那麼重要但是花瞭很大篇幅去描述
評分原子語句開搞
Language, Proof, and Logic 2024 pdf epub mobi 電子書 下載