A predicate logic based on indefinite description and two notions of identity

Robert A. Alps, Robert C. Neveln
1981 Notre Dame Journal of Formal Logic  
doi:10.1305/ndjfl/1093883460 fatcat:ml7rre7dafd7vk2f6sb37erbcm