This is an old revision of the document!


Introduction

About the lecture

Post's Correspondence Problem