Turing–Taylor Expansions for Arithmetic Theories | Publicación