This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '08
 STAFF
 Logic, Mathematical Induction, pts, Natural number, induction step, Recursive definition

Click to edit the document details