Nick Bezhanishvili

Dick de Jongh on Intuitionistic and Provability Logics

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

Lectures on Logic and Computation