A Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definab 数理逻辑与数学基础
Computability and Complexity:Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday 计算机软件
Effective Mathematics of the Uncountable 数理逻辑与数学基础
The Role of True Finiteness in the Admissible Recursively Enumerable Degrees 数理逻辑与数学基础
Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut