Skip to content
Oviatt Library

Oviatt Library Catalog

 
     
Author Cunningham, Daniel W.
Title A logical introduction to proof / Daniel W. Cunningham.
Published New York : Springer, 2012.
Book Cover
LOCATION CALL # STATUS
 Floor3  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
1461436303
OCLC number 781681656