The mathematics of language - Kracht, Marcus (Studies in generative grammar, 2003)