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