from Hacker News

Logic and Proof (2002) [pdf]

by rnjailamba on 3/9/25, 2:20 PM with 1 comments

• by Jtsummers on 3/9/25, 2:44 PM

  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.