Cover Image

A logical introduction to proof /

Bibliographic Details
Main Author: Cunningham, Daniel W.
Format: Book
Language:English
Published: New York : Springer Verlag, 2012.
Subjects:
Logic, Symbolic and mathematical.
Table of 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.