@article{1183731781,
author = {Hailperin, Theodore},
title = {Remarks on Identity and Description in First-Order Axiom Systems},
journal = {J. Symbolic Logic},
volume = {19},
number = {1},
year = {1954},
pages = { 14-20},
language = {en},
url = {http://dml.mathdoc.fr/item/1183731781}
}
Hailperin, Theodore. Remarks on Identity and Description in First-Order Axiom Systems. J. Symbolic Logic, Tome 19 (1954) no. 1, pp. 14-20. http://gdmltest.u-ga.fr/item/1183731781/