Limit search to available items
Book Cover
E-book
Author Cunningham, Daniel W

Title A logical introduction to proof / Daniel W. Cunningham
Published New York, NY : Springer, ©2012

Copies

Description 1 online resource
Contents Propositional Logic -- Predicate Logic -- Proof Strategies and Diagrams -- Mathematical Induction -- Set Theory -- Functions -- Relations -- Core Concepts in Abstract Algebra -- Core Concepts in Real Analysis
Summary Annotation This textbook uses a 'logic-first' approach to train and guide undergraduates through transition courses bridging calculus and advanced mathematics. It also offers an introduction to group theory and real analysis, including proof strategies
Analysis Mathematics
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Bibliography Includes bibliographical references and index
Subject Logic, Symbolic and mathematical.
Lógica matemática
Logic, Symbolic and mathematical
Form Electronic book
ISBN 9781461436317
1461436311
1461436303
9781461436300