1998], The Π3-theory of the computably enumerable Turing degrees is undecidable (1998)

Cached

Download Links

by Steffen Lempp , André Nies , Theodore , A. Slaman
Venue:Trans. Amer. Math. Soc
Citations:7 - 2 self