Crossley J. N., Remmel J.B. ...


Crossley J. N., Remmel J.B.
[1983]
Undecidability and recursive equivalence, I
Proc. South. Asian Conf. on Logic, (Singapore, 1981), North-Holland, 37-53
?
G
article

Вернуться к поиску