Dick de Jongh on Intuitionistic and Provability Logics Dick de Jongh on Intuitionistic and Provability Logics
2024
Logic, Language, and Computation Logic, Language, and Computation
2011