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