All Mathematical Theory Of Computation