Dick de Jongh on Intuitionistic and Provability Logics by Nick Bezhanishvili Back to product details page >