Negative Answer to the Problem of Reducibility of the Theory of Algorithmsby A. A. Mučnik
Review by: Hartley Rogers, Jr.Volume:
22
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2964198
Date:
June, 1957
Fichier:
PDF, 128 KB
english, 1957