Wróć do szczegółów artykułu
Interpolation and implicit definability in extensions of the provability logic
Pobierz
Pobierz PDF