Logic And Theory Of Algorithms by