The undecidability of the Π4-theory for the r.e. wtt and Turing degrees
Lempp, Steffen, Nies, AndréVolume:
60
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2275877
Date:
December, 1995
File:
PDF, 1.22 MB
english, 1995