Text this: Textbook of deductive logic