| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 575 | logplain |
| -rw-r--r-- | index.html | 1061669 | logplain |
| -rw-r--r-- | notes.lyx | 336078 | logplain |
| -rw-r--r-- | notes.pdf | 379396 | logplain |
| -rw-r--r-- | notes.tex | 152277 | logplain |
 |
index : incompleteness-notes | |
| Notes for "Incompleteness and Undecidability in Formal Languages" |
| summaryrefslogtreecommitdiff |