Modern Logic: A Text in Elementary Symbolic Logic - Brossura

Forbes, Graeme

Brossura

ISBN 10: 0195080297 ISBN 13: 9780195080292

Casa editrice: OUP USA, 1994

Riassunto

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.

Su questo libro

Informazioni sull?autore

Graeme Forbes is Professor of Philosophy at the University of Colorado at Boulder. He is the author of Attitude Problems (Oxford, 2006), Languages of Possibility (1989), and The Metaphysics of Modality (Oxford, 1985). He has held research fellowships at New College, Oxford, and Edinburgh University, and has taught at the University of California at Santa Barbara and at Riverside.

Dettagli dell'edizione

• Editore: OUP USA
• Data di pubblicazione: 1994
• Lingua: Inglese
• ISBN 10: 0195080297
• ISBN 13: 9780195080292
• Rilegatura: Copertina flessibile
• Numero di pagine: 416
• Contatto del produttore: non disponibile
• Persona responsabile: Penguin Random House Ireland Limited; productsafety@penguin.co.uk; ; Morrison Chambers, 32 Nassau Street; Dublin; D02 YH68; Irlanda