Higher‐order Logic Reconsidered | Publicación