![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] ⊨ISILC Logic Conference Volume 499 || Recursively unsolvable algorithmic problems and related questions reexamined
Müller, Gert H., Oberschelp, Arnold, Potthoff, KlausVolume:
10.1007/BF
Year:
1975
Language:
english
DOI:
10.1007/bfb0079416
File:
PDF, 657 KB
english, 1975