Successors of Peano Lecture 1 Part 2

Third Journey: Successors of Peano The Third Journey covers the axioms of natural numbers and their relation to iterators and the nonlinear traversal of binary trees. Journey 3 Slides are available here: http://www.stepanovpapers.com/Journeys/Journey3.pdf Full Course Notes are available here: http://www.stepanovpapers.com/Journeys/Journeys-0.3.pdf