A transfer principle for second-order arithmetic, and applications. (2018) - CARL, MERLIN; JAMNESHAN, ASGAR
No abstract available