The NaturalNumbers (including the PeanoAxioms). Start of InductionProofs. Readings: Sections 4.1-4.3.
The NaturalNumbers (including the PeanoAxioms). Start of InductionProofs. Readings: Sections 4.1-4.3.
CS202/2005/Schedule/2005-09-07 (last edited 2007-12-25 23:42:16 by localhost)