Dick de Jongh on Intuitionistic and Provability Logics

Lectures on Logic and Computation Lecture Notes in Computer Science Theoretical Computer Sci