DOI10.2307/2036430zbMath0184.01902OpenAlexW2016621450MaRDI QIDQ5575554
Julia Robinson
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/2036430
zbMATH Keywords
recursion theory, constructive mathematics
Cites Work