Items where Author is "Thomson, Ian Alexander"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Thomson, Ian Alexander (2017) Well-Ordering Principles and Pi 1,1-Comprehension + Bar Induction. PhD thesis, University of Leeds.