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.
Number of pages: 448
Date of publication: 07/04/1994
- ISCRIVITI AD ANOBII -
Ti piace Modern Logic? Iscriviti ad aNobii per vedere chi dei tuoi amici lo ha letto, e scopri libri simili!