Computability and Complexity 3-1 Turing Machine Computability and Complexity Andrei Bulatov.
Computability and Complexity