Finite alogorithmic procedures and computation theories. Authors J. Moldestad V. Stoltenberg-hansen DOI: https://doi.org/10.7146/math.scand.a-11853 Downloads PDF Published 1980-06-01 Issue Vol. 46 (1980) Section Articles