Email Record: Introduction to computer theory /