These lecture notes are the self-contained material for the module CS3234 “Logic for Proofs and Programs” in the School of Computing at the National University of Singapore for the second semester of AY 2023/24.
They are to be published as an ACM textbook, and therefore are located at an unlisted URL.
Nothing in their content is new, but everything in their form is original. So credit for the content goes to the founders of Computer Science and to the designers of the Coq Proof Assistant and blame for the form goes to their author.