Wróć do szczegółów artykułu Towards intuitionistic dynamic logic Pobierz Pobierz PDF