Nick Bezhanishvili

Lectures on Logic and Computation

Dick de Jongh on Intuitionistic and Provability Logics

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

Logic, Language, and Computation