Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: mathematical reasoning
RP600
1992 Research Paper
Bundy,A
How to Solve it by Induction