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 Sat Apr 19 01:25:10 2025 BST.