What Is Mathematical Logic? What Is Mathematical Logic?
2012
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
2000