About Jacob Louis Hoover

I am interested syntax, semantics, formal linguistics and logic. I want to understand the mathematical and logical structure of natural language and of the systems used in making linguistic theories.