Text this: Logic and Algorithms : With Applications to the Computer and Information Sciences