incompleteness-notes/notes.pdf, branch master Notes for "Incompleteness and Undecidability in Formal Languages" https://git.yuv.al/incompleteness-notes/atom/notes.pdf?h=master 2014-10-26T15:43:34Z Initial Lyx, LaTeX and PDF files 2014-10-26T15:43:34Z Yuval Adam yuv.adm@gmail.com 2014-10-26T15:43:34Z urn:sha1:4e8805e241c93f306016a51872362e35ffe13866