Text this: Logic and theory of algorithms :