The Logic of Turing Progressions

Eduardo Hermo Reyes, Joost J. Joosten. The Logic of Turing Progressions. Notre Dame Journal of Formal Logic, 61(1):155-180, 2020. [doi]

Authors

Eduardo Hermo Reyes

This author has not been identified. Look up 'Eduardo Hermo Reyes' in Google

Joost J. Joosten

This author has not been identified. Look up 'Joost J. Joosten' in Google