Turing-Taylor expansions for arithmetic theories | Publicación