Personal Journal of Yuri Matiyasevich
Content (in reverse chronological order)
Below the content is listed in the reverse chronological order of the first addition or last substantial modification of an item.
Formats of files


URL of my original Home page is http://logic.pdmi.ras.ru/~yumat/index.html.