Erik Aarts

1965

• Investigations in logic, language and computation