Internet Archive BookReader - The principles of logic