Notes for "Incompleteness and Undecidability in Formal Languages" https://git.yuv.al/incompleteness-notes/atom/notes.xhtml?h=master