Carl, Merlin, University of Konstanz, Germany
-
Vol 10 (2018) - Articles
A transfer principle for second-order arithmetic, and applications
Abstract 8. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008
Journal of Logic and Analysis ISSN: 1759-9008