Items where Author is "Thomson, Ian Alexander"

Group by: Item Type | No Grouping
Number of items: 1.

Thomson, Ian Alexander (2017) Well-Ordering Principles and Pi 1,1-Comprehension + Bar Induction. PhD thesis, University of Leeds.

This list was generated on Wed Feb 5 01:33:48 2025 GMT.