These are David Kozen's programming language course notes, downloaded about a decade ago.