Logic And Algorithms