Reader EPUB - The calculus of logic