Title: Language, logic and mathematics
Subjects: Symbolic and mathematical Logic