Formal Languages in Logic More Books by Catarina Dutilh Novaes

The Dialogical Roots of Deduction The Dialogical Roots of Deduction
2020
The Cambridge Companion to Medieval Logic The Cambridge Companion to Medieval Logic
2016
Formalizing Medieval Logical Theories Formalizing Medieval Logical Theories
2007