How to prove it : a structured approach /

Bibliographic Details
Main Author: Velleman, Daniel J.
Format: Book
Published: Cambridge : Cambridge University Press, 1998.
Subjects:
Table of Contents:
  • Sentential logic. Quantificational logic. Proofs. Relations. Functions. Mathematical induction. Infinite sets