self reproducing programs and introduction to logic published presentations and documents on DocSlides.