Title: Formal logic (Synthese library)