started road to logic textbook