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 Mon Nov 10 01:27:45 2025 GMT.