![](/img/cover-not-exists.png)
Undecidability and 1-types in the recursively enumerable degrees
Klaus Ambos-Spies, Richard A. ShoreVolume:
63
Year:
1993
Language:
english
Pages:
35
DOI:
10.1016/0168-0072(93)90206-s
File:
PDF, 2.23 MB
english, 1993