Robuta

https://shop.elsevier.com/books/provability-computability-and-reflection/beklemishev/978-0-444-53399-9 Provability, Computability and Reflection, Volume 34 - 1st Edition | Elsevier Shop provability reflection volume edition elsevier https://udspace.udel.edu/items/0975653a-de5a-4a7a-9707-3f24a5fc65d5 Topics in computability, complexity, constructivity & provability topics complexity provability