Internet Archive BookReader - Logic, inductive and deductive