A first order logic for partial functions | Publicación