Yu.V. Matijasevič

Bibliography

Boone, William W., Collins, D. J. and Matijasevič, Yu.V. 1971. “Embeddings into Semigroups with only a few Defining Relations.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 27–40. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Matijasevič, Yu.V. 1971. “Diophantine Representation of Recursively Enumerable Predicates.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 171–177. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Matijasevič, Yu.V. 1973. “On Recursive Unsolvability of Hilbert’s Tenth Problem.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 89–110. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Matijasevič, Yu.V. 1977. “Some Purely Mathematical Results Inspired by Mathematical Logic.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 121–128. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.