Specifying Syntactic Structures. Studies in logic, Language and Information