Cover Image
Read Now

1
Published 2021
Springer International Publishing
“... to logic, descriptive set theory, constructivism, and reverse mathematics. In recent decades, computable...”