Title: Investigations in logic, language and computation
Subjects: Computational complexity