We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Dieter Titgemeyer. Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der rekursiven Unlösbarkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 1–2 (1965), pp. 45–62.