J. VAN BENTHEM

Latest

• Modal deduction in second-order logic and set theory. II
• Modal deduction in second-order logic and set theory. I