The unique existential quantifier.
Enderton, H.B.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), p. 52-54 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1970-01-01
EUDML-ID : urn:eudml:doc:137833 
@article{GDZPPN002043815,
     title = {The unique existential quantifier.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {13},
     year = {1970},
     pages = {52-54},
     zbl = {0272.02019},
     url = {http://dml.mathdoc.fr/item/GDZPPN002043815}
}

Enderton, H.B. The unique existential quantifier.. Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970) pp. 52-54. http://gdmltest.u-ga.fr/item/GDZPPN002043815/