Title: Advances in Natural Deduction
Subjects: Logic, symbolic and mathematical, Modality (logic)