Buch, Englisch, 416 Seiten, Format (B × H): 164 mm x 235 mm, Gewicht: 612 g
Buch, Englisch, 416 Seiten, Format (B × H): 164 mm x 235 mm, Gewicht: 612 g
ISBN: 978-0-19-508029-2
Verlag: OXFORD UNIV PR
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.