Mathematical Logic Theory Of Computing