Wróć do szczegółów artykułu
Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej
Pobierz
Pobierz PDF