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 Mar 12 01:24:47 2025 GMT.