Computability, Finiteness and the Standard Model of Arithmetic | Publicación