Robuta

https://arxiv.org/abs/1910.02489
Abstract page for arXiv paper 1910.02489: Open sets in computability theory and Reverse Mathematics
open setscomputability theoryreverse mathematics
https://books.google.com/books?id=lIuu53IcKWoC&printsec=frontcover&source=gbs_v2_summary_r&hl=en
The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material...
complexity theoryelaine richautomatacomputabilityapplications