D.M. Gabbay · 3 obras en el catálogoObrasGoal-directed proof theoryHandbook of the logic of argument and inferenceInvestigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics