=== Papers ===* Yuri Matiyasevich, "Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics", Personal Journal of Yury Matiyasevich.
* Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.