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