Title: An invitation to formal reasoning
Subjects: Language and logic, Logic, Reasoning, Langage et logique, PHILOSOPHY