Wróć do szczegółów artykułu A propositional logic of temporal connectives Pobierz Pobierz PDF