Undecidability and recursive equivalence II

Computation and Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0099480 ◽

1984 ◽

pp. 79-100 ◽

Cited By ~ 1

Author(s):

J. N. Crossley ◽

J. B. Remmel