Partial Recursive Functions in Higher-Order Logic | Publicación