Logic and Proof (2002) [pdf]

https://wp.software.imdea.org/cbc/wp-content/uploads/sites/5... - 2021, most recent version of his notes I could find. I have this vague memory of something more recent but I can't find it now so this may be it.