Modern Logic: A Text in Elementary Symbolic Logic - Couverture rigide

Forbes, Graeme

Couverture rigide

ISBN 10 : 0195080289 ISBN 13 : 9780195080285

Editeur : Oxford University Press Inc, 1994

Synopsis

This undergraduate text aims to fill the need for a structured introduction to symbolic logic. The natural deduction system used by the author has been designed to help students grasp the concepts, and the material includes graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facility with formal procedures.

A propos du livre

Présentation de l'éditeur

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.

Détails de l'édition

• Éditeur: Oxford University Press Inc
• Date d'édition: 1994
• Langue: anglais
• ISBN 10: 0195080289
• ISBN 13: 9780195080285
• Reliure: Relié
• Nombre de pages: 409
• Coordonnées du fabricant: non disponible
• Personne responsable: Messaggerie Libri; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; Italie