4 ms·
Logic and Proof (2002) [pdf]
- Jtsummers 2y agohttps://wp.software.imdea.org/cbc/wp-content/uploads/sites/5/2020/01/lawrence-paulson-logic-and-proof.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.