A first-order logic for partial recursive functions | Publicación