4 works on record
Lectures on Logic and Computation Lecture Notes in Computer Science Theoretical Computer Sci
Lectures on Logic and Computation
Logic, Language, and Computation
Dick de Jongh on Intuitionistic and Provability Logics