Suitable for advanced undergraduates and graduate students, this self -contained text will appeal to readers from diverse fields and varying backgrounds including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.