![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Undecidability and recursive equivalence II
Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, WolfgangVolume:
10.1007/BF
Year:
1984
Language:
english
DOI:
10.1007/BFb0099480
File:
PDF, 842 KB
english, 1984