Annals of Pure and Applied Logic, Volume 67
Volume 67, Numbers 1-3, 17 May 1994
A Selection of Papers Presented at the Symposium "Logic at Tver '92"
Yuri V. Matiyasevich
: A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations. 325-348
, founded at