This brief collection of refereed papers approaches several technical as well as methodological aspects of the mathematical formalization of natural language, particularly in syntax and in semantics. Such kind of investigation is a prerequisite for the computational processing of language and is narrowly related to current developments in other disciplines, namely theoretical computer science and mathematical logic. The volume offers a coherent picture of recent research on the mathematics of language, and may be of interest to a wide audience, from linguists to mathematicians. Detailed indexes of authors and topics provide an easy access to the contents.