Title: Language, Logic, and Computation
Subjects: Mathematics