Martin Aher

• Logic, Language, and Computation