Discrete Math. and Logic II. Turing Machines