Title: Logic: Mathematics, Language, Computer Science and Philosophy