Mundici Sieg Computability theory Department of Philosophy technical report Number theory. 1994-01-01
    https://kilthub.cmu.edu/articles/journal_contribution/Computability_theory/6491225
10.1184/R1/6491225.v1