Constructive arithemtics
1982 ◽
pp. 228-236
◽