Finite alogorithmic procedures and inductive definability.

Authors

  • J. Moldestad
  • V. Stoltenberg-hansen

DOI:

https://doi.org/10.7146/math.scand.a-11852

Downloads

Published

1980-06-01

How to Cite

Moldestad, J., & Stoltenberg-hansen, V. (1980). Finite alogorithmic procedures and inductive definability. MATHEMATICA SCANDINAVICA, 46, 62–76. https://doi.org/10.7146/math.scand.a-11852

Issue

Vol. 46 (1980)

Section

Articles