Wróć do szczegółów artykułu On the proof-theory of a first-order extension of GL Pobierz Pobierz PDF