Ori Simchen Polyadic Quantification via Denoting Concepts. 373-381 2010 51 Notre Dame J. Formal Log. 3 https://doi.org/10.1215/00294527-2010-023 db/journals/ndjfl/ndjfl51.html#Simchen10