Emil Jeřábek

• Logic, Language, and Computation