Mathematical Linguistics by Andras Kornai is great if you have sufficient background in math/compsci.