Text this: Logic and Theory of Algorithms