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