The unique existential quantifier. H.B. Enderton — 1970 Archiv für mathematische Logik und Grundlagenforschung