References and Textbooks

Required text

There is no required text for this course.

Recommended text

"Learning to Reason", by Nancy Rodgers, Wiley Interscience, 2000.

Contains material close to the lectures for approximately the first half of the course.

Additional references

• "Proof, Logic, and Conjecture: the Mathematician's Toolbox", by Robert S. Wolf, W.H. Freeman and Company, 1998.
  (Good for introduction to logic and general proof techniques.)
• "Mathematical Logic: Applications and Theory", by J.E. Rubin, Saunders College Publishing, 19990.
  (Good for logic and some induction.)
• "How to Prove It", by D.J. Velleman, Cambridge University Press, 1994.
  (Good for logic, induction, general proof techniques.)

Go back to the menu (if your browser does not support frames).