Solheim
NP and PSPACE Video Games Lecture [video]
Re:Gödel's Incompleteness Theorems (2015)
on Tuesday April 04, 2017 @03:22PM (#14036270)
I also took a Computability course. We used:
https://www.amazon.com/Computability-Logic-George-S-Boolos/d...
Ask HN: What is a blog/podcast you'd really like to share?
Post a blog/podcast you'd like to share with HN. Include a short description what the blog/podcast is about.