Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej

Zaznaczone:

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch

Czy na pewno chcesz usunąć artykuł?