Return to Article Details Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic Download Download PDF