Geodesic
The unique existential quantifier.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 52-54

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Zbl 
H.B. Enderton. The unique existential quantifier.. Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 52-54. http://geodesic.mathdoc.fr/item/AMLG_1970__13_137833/
@article{AMLG_1970__13_137833,
     author = {H.B. Enderton},
     title = {The unique existential quantifier.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {52--54},
     year = {1970},
     volume = {13},
     zbl = {0272.02019},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1970__13_137833/}
}
TY  - JOUR
AU  - H.B. Enderton
TI  - The unique existential quantifier.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1970
SP  - 52
EP  - 54
VL  - 13
UR  - http://geodesic.mathdoc.fr/item/AMLG_1970__13_137833/
ID  - AMLG_1970__13_137833
ER  - 
%0 Journal Article
%A H.B. Enderton
%T The unique existential quantifier.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1970
%P 52-54
%V 13
%U http://geodesic.mathdoc.fr/item/AMLG_1970__13_137833/
%F AMLG_1970__13_137833