California State University, Northridge WordmarkOviatt Library WordmarkOviatt Library Catalog Wordmark
Author Cunningham, Daniel W.
Title A logical introduction to proof / Daniel W. Cunningham.
Published New York : Springer, 2012.
Book Cover

 Floor4  QA9 .C86 2012    IN LIBRARY
Description xv, 356 p. : ill. ; 24 cm.
Bibliography Includes bibliographical references and indexes.
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.
Subject Logic, Symbolic and mathematical.
ISBN 9781461436300
OCLC number 781681656