cotalks.dev

Logic for Programmers: Propositional Logic

(link)