@@ -26,6 +26,9 @@ ___
- [Detexify](http://detexify.kirelabs.org/classify.html)
## [Reading Stack](backlog.md)
+- [Holevo's Theorem](https://en.wikipedia.org/wiki/Holevo%27s_theorem)
+- [Rice's Theorem](https://en.wikipedia.org/wiki/Rice%27s_theorem)
+- [Ladner's Theorem](https://en.wikipedia.org/wiki/NP-intermediate)
## [Mathematics and Theoretical Computer Science](mathematics.md)
