Robuta

https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3357/Modal-Deduction-in-Second-Order-Logic-and-Set-Theory Modal Deduction in Second-Order Logic and Set Theory | Institute for Logic, Language and Computation logic and set theory https://resources.illc.uva.nl/LogicList/newsitem.php?id=329 Professorship in Logic and Set Theory at the University of Zimbabwe logic and set theory university of professorship