Return to Article Details Free Definite Description Theory – Sequent Calculi and Cut Elimination Download Download PDF