Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.
發表於2024-11-29
Modern Logic 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 哲學 logic Philosophy PhilosophicalLogic
還算是挺全麵的。我這個專業的看著夠用瞭。
評分還算是挺全麵的。我這個專業的看著夠用瞭。
評分哲學數學 快樂加倍。很久之後,駱婷玉仍會想起,被modern logic所支配的可怕的日子。
評分還算是挺全麵的。我這個專業的看著夠用瞭。
評分還算是挺全麵的。我這個專業的看著夠用瞭。
Modern Logic 2024 pdf epub mobi 電子書 下載