![](/img/cover-not-exists.png)
Matijasevič Ju. V.. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 171–177.
Ferebee, Ann S.Volume:
37
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/s0022481200079330
Date:
September, 1972
File:
PDF, 96 KB
english, 1972