Remarks on descriptions and natural deduction

• 1 March 1957
• journal article
• Published by Springer Nature in Archive for Mathematical Logic
• Vol. 3  (1-2) , 50-64
• https://doi.org/10.1007/bf01977152

Abstract