This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '09
 Howell
 Mathematical Induction, Sort, Natural number, formal methods, Mathematical logic, Peano axioms, Precondition

Click to edit the document details