S. Akama

• Logic, Language and Computation