A critical appraisal of second-order logic | Publicación