Title: Logic and Theory of Algorithms