Internet Archive BookReader - A survey of symbolic logic