Dependent choice as a termination principle

Thomas Powell 0001. Dependent choice as a termination principle. Arch. Math. Log., 59(3):503-516, 2020. [doi]

Authors

Thomas Powell 0001

This author has not been identified. Look up 'Thomas Powell 0001' in Google