field of mathematical logic, theoretical linguistics, and theoretical computer science
No description defined