Logic, Language and Computation door Seiki Akama