Wróć do szczegółów artykułu Free Definite Description Theory – Sequent Calculi and Cut Elimination Pobierz Pobierz PDF