Dick de Jongh on Intuitionistic and Provability Logics2024

by Nick Bezhanishvili