Logic, Language and Computation by Seiki Akama