@article{GDZPPN002042797,
title = {Remarks on descriptions and natural deduction.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {3},
year = {1957},
pages = {50-64},
zbl = {0081.24501},
url = {http://dml.mathdoc.fr/item/GDZPPN002042797}
}
Montague, R.; Kalish, D. Remarks on descriptions and natural deduction.. Archiv für mathematische Logik und Grundlagenforschung, Tome 3 (1957) pp. 50-64. http://gdmltest.u-ga.fr/item/GDZPPN002042797/