01113nam a2200337 i 450099100099369970753620020507181259.0951020s1980 ne ||| | eng 0444003223b10786314-39ule_instLE01305437ExLDip.to Matematicaeng001.642AMS 03DAMS 68N17Wand, Mitchell51165Induction, recursion, and programming /Mitchell WandNew York :North Holland,c1980xii, 202 p. ;24 cm.Bibliography: p. [190]-194.Includes indexElectronic digital computers-programmingInductionRecursion theorySoftware.b1078631421-09-0628-06-02991000993699707536LE013 68N WAN11 (1980)12013000038131le013-E0.00-l- 00000.i1088652728-06-02Induction, Recursion, and Programming336649UNISALENTOle01301-01-95ma -engne 01