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